packages feed

idris-0.9.12: test/interactive002/input

:ps 2 foo_arg1
:ps 2 foo_arg2
:ps 2 foo_arg3
:ps 2 foo_ret
:ps 6 bar_out
:ps 9 plus_in1
:ps 9 plus_out
:ps 13 what
:ps 16 ifoo_arg1
:ps 16 ifoo_out