git.iko.soy/Idris-dev
on 4162113 help sign in
Idris-dev/test/primitives006
1 folder, 5 files
../ Data/Purify Idris of "return" array.cBump test number. array.hPointless change to make Travis re-run tests. expectedChange expected for primitives006 load-test.idrPurify Idris of "return" runNew implementation of rewrite