git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test003
5 files
../ Lit.lidruppercase modulenames expectedMore in test003; requires latex epic fix runInfrastructure for passing of parameters to idris during tests test003.lidruppercase modulenames test003a.lidrAdded support for literate programming with bird tracks (use .lidr extension)