git.iko.soy/Idris-dev
on 3cb1f21 help sign in
Idris-dev/test/reg027
4 files
../ expectedImprove type class overlap check reg027.idrMore flexible type class instances (on functions) reg027a.idrImprove type class overlap check runImprove type class overlap check