git.iko.soy/Idris-dev
on ec06f94 help sign in
Idris-dev/test/reg027
4 files
../ expectedImprove type class overlap check reg027.idrChanged (<$>) to (<*>) reg027a.idrImprove type class overlap check runImprove type class overlap check