hdiff
packages
feed
idris
-0.12.3: test/reg027/expected
<<int fn>> 6 reg027a.idr:9:16:Overlapping implementation: Show (Int -> a) already defined