packages feed

idris-0.9.10: test/reg003/expected

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