git.iko.soy/Idris-dev
on 33166ee help sign in
Idris-dev/test/interactive001/input
8 lines 94 B history raw
1:cs 12 xs
2:cs 18 ys
3:ps 22 maprhs
4:mw 26 isElem2
5:cs 31 p
6:cs 36 xs'
7:cs 39 x
8:cs 43 case_val