packages feed

idris-0.9.9: test/reg003/expected

reg003a.idr:4:No such variable OddList
reg003a.idr:7:No such variable EvenList
reg003a.idr:10:No such variable EvenList
reg003a.idr:10:No type declaration for test