git.iko.soy/Idris-dev
on 63afafa help sign in
Idris-dev/test
11 folders, 4 files
../ test001/added dsl blocks test002/Removed semicolons from tests test003/Build a call graph and only compile things which are used test004/Removed semicolons from tests test005/Removed semicolons from tests test006/Fix library compilation errors and improve name resolution in patterns 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/Improved termination check (gets ackermann now, but still no mutual recursive definitions) test011/Added record test MakefileAdded test directory and a single test... READMEAdded record test 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...