git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test005/expected
6 lines 66 B history raw
18
21
3(abc, 123)
4(abc, 123)
5([1, 2], [3, 4, 5])
6([1, 2], [3, 4, 5])