git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/totality007
1 folder, 4 files
../ src/Stop building packages if there are totality mismatches expected.msysFix expected result of totality007 on windows expected.outRename expected, input and run run.shRename expected, input and run totality.ipkgMake --quiet imply non-verbosity