git.iko.soy/Idris-dev
on ff7ea9d help sign in
Idris-dev/test/primitives006
1 folder, 5 files
../ Data/Deprecate '%assert_total' 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 runNew implementation of rewrite