git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/test/interactive010/input
9 lines 76 B history raw
1:type ++
2:core (/) {a=Double}
3:doc +
4:wc +
5:printdef -
6:patt /
7/
8++
9:whnf /