git.iko.soy/Idris-dev
on a12ecc2 help sign in
Idris-dev/test
11 folders, 4 files
../ test001/added dsl blocks test002/More on errors; propagate line numbers 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/More on errors; propagate line numbers 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...