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