git.iko.soy/Idris-dev
on 0b669c7 help sign in
Idris-dev/test/reg027/expected
7 lines 173 B history raw
1<<int fn>>
2reg027a.idr:9:16-30:
3 |
49 | implementation Show (Int -> b) where
5 | ~~~~~~~~~~~~~~~
6Overlapping implementation: Show (Int -> a) already defined