git.iko.soy/Idris-dev
on a5ea29f 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)