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