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