packages feed

idris-1.3.3: test/sugar003/expected.out

Counting:
Number 1
Number 2
Number 3
Number 4
Number 5
Number 6
Number 7
Number 8
Number 9
Number 10
Done!