git.iko.soy/Idris-dev
on e09ef82 help sign in
Idris-dev/test/reg027
4 files
../ expectedImprove type class overlap check reg027.idrUnification changes reg027a.idrImprove type class overlap check runImprove type class overlap check