git.iko.soy/Idris-dev
on 2ad85f5 help sign in
Idris-dev/test/interactive014/input
5 lines 62 B history raw
1:exec voidIO
2:exec intIO
3:exec stringIO
4:exec 456
5:exec "xyz"