git.iko.soy/Idris-dev
on d7df489 help sign in
Idris-dev/test/test003
5 files
../ expectedMore in test003; requires latex epic fix lit.lidrMore in test003; requires latex epic fix runAdded support for literate programming with bird tracks (use .lidr extension) test003.lidrAdded support for literate programming with bird tracks (use .lidr extension) test003a.lidrAdded support for literate programming with bird tracks (use .lidr extension)