git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/classes001
4 files
../ ClassName.idrAllow type classes to have explicitly-named instance constructors expectedUpdate REPL :doc related tests with totality status inputAllow type classes to have explicitly-named instance constructors runAllow type classes to have explicitly-named instance constructors