git.iko.soy/Idris-dev
on b3b7bb7 help sign in
Idris-dev/test/idrisdoc009
4 files
../ Test.idrAllow documentation for modules expectedCareful when to show namespaces in :doc inputFix Curses craziness in test + missing test file runmake the tests respect the IDRIS env variable