on 008fb1f help sign in
3 lines 90 B history raw
1<<int fn>>
26
3reg027a.idr:9:16:Overlapping implementation: Show (Int -> a) already defined