packages feed

idris-1.3.3: test/interactive003/input.in

:ps 4 app_rhs_1
:ps 5 app_rhs_2
:ps 8 vzipWith_rhs_3
:ps 9 vzipWith_rhs_1
:ps 13 word_length_rhs_2