git.iko.soy/Idris-dev
on f29a167 help sign in
Idris-dev/test/test020
4 files
../ expectedOnly apply unique implicit conversions (and add test) runOnly apply unique implicit conversions (and add test) test020.idrOnly apply unique implicit conversions (and add test) test020a.idrOnly apply unique implicit conversions (and add test)