git.iko.soy/Idris-dev
on ff7ea9d help sign in
Idris-dev/test/idrisdoc009
4 files
../ Test.idrChange export qualifier keywords expectedCareful when to show namespaces in :doc inputFix Curses craziness in test + missing test file runmake the tests respect the IDRIS env variable