git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/folding001/expected
4 lines 144 B history raw
1([], []) -> ([], [])
2([1], [1]) -> ([1], [1])
3([1, 2, 3], [1, 2, 3]) -> ([1, 2, 3], [1, 2, 3])
4([3, 2, 1], [3, 2, 1]) -> ([3, 2, 1], [3, 2, 1])