git.iko.soy/Idris-dev
on 4e4b7df help sign in
Idris-dev/test/primitives006
1 folder, 5 files
../ Data/Update export qualifiers. array.cBump test number. array.hPointless change to make Travis re-run tests. expectedChange expected for primitives006 load-test.idrFix order of init in MKCDATA/c runFix test runner.