da237aeMerge pull request #1756 from jonatack/patch-1David Christiansen12 years ago 43da4b1Merge pull request #1758 from david-christiansen/feature/case-delabDavid Christiansen12 years ago 8ff9748Fix Curses whitespace issue with test delab001David Raymond Christiansen12 years ago aca2f7eFollow instructions in comment and remove unused codeDavid Raymond Christiansen12 years ago 75c7597Improve delaboration and pretty-printing for caseDavid Raymond Christiansen12 years ago 64cf120Fix GC statistics overflowMattias Lundell12 years ago a85d407Fix a few typos in the READMEJon Atack12 years ago 3078c0bMake tests work with sandboxesMattias Lundell12 years ago 9d3ce13Merge pull request #1704 from eamsden/masterDavid Christiansen12 years ago 5f5f7feMerge pull request #1753 from david-christiansen/feature/source-location-tacticDavid Christiansen12 years ago 095dee3Merge pull request #1752 from enolan/masterDavid Christiansen12 years ago fe286d3Don't build Idris twice in CIEcho Nolan12 years ago 2d0cc49Output: Use throwError from Control.Monad.ExceptAlexander Berntsen12 years ago f46f57aRemove a no longer necessary `impossible`Melvar Chen12 years ago c99cec4Add hsenv directory to gitignoreEdward Amsden12 years ago