git.iko.soy/Idris-dev
on 54e4e41 help sign in
Idris-dev/test/totality007
1 folder, 4 files
../ src/Stop building packages if there are totality mismatches expectedBracket new directory operations in messages expected.msysFix expected result of totality007 on windows runStop building packages if there are totality mismatches totality.ipkgMake --quiet imply non-verbosity