git.iko.soy/Idris-dev
on 067f4fa help sign in
Idris-dev/test/test003
5 files
../ expectedMore in test003; requires latex epic fix lit.lidrBuild a call graph and only compile things which are used runAdded support for literate programming with bird tracks (use .lidr extension) test003.lidrRemoved semicolons from tests test003a.lidrAdded support for literate programming with bird tracks (use .lidr extension)