git.iko.soy/Idris-dev
on 8c19e30 help sign in
Idris-dev/test/test003
5 files
../ Lit.lidruppercase modulenames expectedAdded column name to source runInfrastructure for passing of parameters to idris during tests test003.lidruppercase modulenames test003a.lidrAdded support for literate programming with bird tracks (use .lidr extension)