69921eeFix warning for implicitable namesEdwin Brady11 years ago 920282fKeep track of test stats and print the failed tests at the endNiklas Larsson11 years ago 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer13 years ago 3c32b65Whitespace cleanup.George Leontiev13 years ago 2c6ad9bInfrastructure for passing of parameters to idris during testsBenjamin Saunders14 years ago fad1c1cWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)Edwin Brady14 years ago dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady15 years ago 663c464Added test directory and a single test...Edwin Brady15 years ago