git.iko.soy/Idris-dev
on f572cd0 help sign in
Idris-dev/test/reg027
4 files
../ expectedImprove type class overlap check reg027.idrAddress semantic differences in putting things to STDOUT. reg027a.idrImprove type class overlap check runImprove type class overlap check