git.iko.soy/Idris-dev
on 7871ecb help sign in
Idris-dev/test/reg039
3 files
../ expectedMake --quiet imply non-verbosity reg039.idrRegression test for infinite regress in executor runFix test reg039 and add it to idris.cabal