git.iko.soy/Idris-dev
on dee61df help sign in
Idris-dev/test/test013
4 files
../ expectedAdded binding form to syntax rules (and updated tutorial accordingly) runInfrastructure for passing of parameters to idris during tests run_javaBackend support for Java test013.idrTweak syntax rules to deal with consecutive non-terminals better