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