on de6bb41 help sign in
Idris-dev/test
10 folders, 4 files
../ test001/added dsl blocks 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 test010/Added 'total' keyword and positivity check 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...