git.iko.soy/Idris-dev
on 64a2bc8 help sign in
Idris-dev/test/test003
5 files
../ expectedMore in test003; requires latex epic fix lit.lidrRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated. 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)