git.iko.soy/Idris-dev
on ace080c 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.idrImproved type-directed name disambiguation