idris-0.9.11: test/primitives001/expected

8
1
("abc", "123")
("abc", "123")
([1, 2], [3, 4, 5])
([1, 2], [3, 4, 5])