git.iko.soy/Idris-dev
on dae335b help sign in
Idris-dev/test/interactive010/input
10 lines 71 B history raw
1:type ++
2:core /
3:doc +
4:wc +
5:printdef -
6:spec /
7:patt /
8/
9++
10:whnf /