packages feed

idris-0.9.9.1: test/reg003/expected

reg003a.idr:4:When elaborating constructor ECons:
No such variable OddList
reg003a.idr:7:When elaborating constructor OCons:
No such variable EvenList
reg003a.idr:10:When elaborating type of test:
No such variable EvenList
reg003a.idr:10:No type declaration for test