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