git.iko.soy/Idris-dev
on dee61df help sign in
Idris-dev/test/test020
5 files
../ expectedOnly apply unique implicit conversions (and add test) runOnly apply unique implicit conversions (and add test) run_javaBackend support for Java test020.idrOnly apply unique implicit conversions (and add test) test020a.idrOnly apply unique implicit conversions (and add test)