git.iko.soy/Idris-dev
on e88a135 help sign in
Idris-dev/test/test013
3 files
../ expectedAdded binding form to syntax rules (and updated tutorial accordingly) runAdded binding form to syntax rules (and updated tutorial accordingly) test013.idrAdded binding form to syntax rules (and updated tutorial accordingly)