packages feed

idris-1.0: test/reg027/expected

<<int fn>>
reg027a.idr:9:16:Overlapping implementation: Show (Int -> a) already defined