git.iko.soy/Idris-dev
on master 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. expected.outRename expected, input and run load-test.idrPurify Idris of "return" run.shRename expected, input and run