git.iko.soy/Idris-dev
on b63e9bb help sign in
Idris-dev/test
9 folders, 4 files
../ test001/Unification tweak test002/Removed semicolons from tests test003/Removed semicolons from tests test004/Removed semicolons from tests test005/Removed semicolons from tests test006/Making IO lazy means we need to force an evaluation for anything to happen at all... test007/Some prelude shuffling test008/Change 'data' and where syntax so that they don't need '|' This breaks old code - instead of test009/Removed semicolons from tests MakefileAdded test directory and a single test... READMENumeric ranges [a..b], [a,b .. c] and list monad mktest.plGenerate bytecode so that files don't need to be rechecked every time they're loaded runtest.plAdded test directory and a single test...