git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/reg039
3 files
../ expectedRegression test for infinite regress in executor reg039.idrRegression test for infinite regress in executor runFix test reg039 and add it to idris.cabal