packages feed

idris-0.9.18: test/reg003/expected

reg003a.idr:4:11:When elaborating type of Main.ECons:
No such variable OddList
reg003a.idr:7:11:When elaborating type of Main.OCons:
No such variable EvenList
reg003a.idr:9:6:When elaborating type of Main.test:
No such variable EvenList