git.iko.soy/Idris-dev
on eb29608 help sign in
Idris-dev/test/interactive002/input
11 lines 149 B history raw
1:ps 2 foo_arg1
2:ps 2 foo_arg2
3:ps 2 foo_arg3
4:ps 2 foo_ret
5:ps 6 bar_out
6:ps 9 plus_in1
7:ps 9 plus_out
8:ps 13 what
9:ps 16 ifoo_arg1
10:ps 16 ifoo_out