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 a85d407Fix a few typos in the READMEJon Atack12 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 aaaad69Add something like Haskell's "error" function.David Raymond Christiansen12 years ago f1e161dA new primitive tactic for getting source locationsDavid Raymond Christiansen12 years ago fe286d3Don't build Idris twice in CIEcho Nolan12 years ago 1437f86Fix typo in commentDavid Raymond Christiansen12 years ago b2017d2Pattern variables should be lifted to top levelEdwin Brady12 years ago c87ea77Merge pull request #1746 from soimort/fix-colourisePromptEdwin Brady12 years ago 02b6087Merge pull request #1743 from jfdm/fix/lift-fixme-todo-1Edwin Brady12 years ago ce41442Merge pull request #1735 from Melvar/fix-rndintEdwin Brady12 years ago 1a8f1dbMerge pull request #1734 from soimort/fix-replEdwin Brady12 years ago 46fc92dMerge pull request #1733 from soimort/cleanupEdwin Brady12 years ago 2b02303Merge pull request #1729 from projedi/custom-syntax-optimizationEdwin Brady12 years ago 3d1b007Merge pull request #1728 from RyanGlScott/masterEdwin Brady12 years ago f7ea42cMerge pull request #1726 from jfdm/fix/lift-fixme-todoEdwin Brady12 years ago d8cfafdMerge pull request #1713 from jech/add-elimEdwin Brady12 years ago e71676eMerge pull request #1701 from Melvar/weed-systemEdwin Brady12 years ago ddc2981Merge pull request #1695 from japesinator/verified_monadsEdwin Brady12 years ago 52b18ccMerge pull request #1694 from reynir/verified-listEdwin Brady12 years ago 5161784Merge pull request #1685 from soimort/fix-checkUniqueKindEdwin Brady12 years ago 799cc23Merge pull request #1680 from BlackBrane/masterEdwin Brady12 years ago ef1bd24Indicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically.Mort Yao12 years ago cbb40b1Lifted TODO/FIXME from IRTS/Compiler.hsJan de Muijnck-Hughes12 years ago 6c0b2b9Lifted TODO/Fixme from Coverage checker.Jan de Muijnck-Hughes12 years ago 73e9c30Lifted TODO/FIXME from Idris/AbsSyntax.hsJan de Muijnck-Hughes12 years ago e5ad2eaFix error in rndInt making lower bound ineffectiveMelvar Chen12 years ago 1efff98Ignore leading spaces in REPLMort Yao12 years ago bf40078Fix typo in REPL.hsMort Yao12 years ago 2fcd41cClean up .gitignore (tutorial/ removed)Mort Yao12 years ago 4130476Just store sorted list of syntax rulesAlexander Shabalin12 years ago 1b4bb5fUpdate CONTRIBUTORSAlexander Shabalin12 years ago 9d804b5Optimize custom syntax rulesAlexander Shabalin12 years ago b4d1265Bump lens upper version boundsRyanGlScott12 years ago 18b1e12Lifted FIXME from Core/Constraints.Jan de Muijnck-Hughes12 years ago 981ca94Lifted FIXME from Core/Evaluate.Jan de Muijnck-Hughes12 years ago 4547329Lifted TODO from Core/Tt.Jan de Muijnck-Hughes12 years ago 2905dbcLifted TODO/FIXME in Core/UnifyJan de Muijnck-Hughes12 years ago 6359d99Removed dead code and lifedt TODO/FIXME from Core/Execute.Jan de Muijnck-Hughes12 years ago d417e41Lifted FIXME and TODO from Core/CaseTreeJan de Muijnck-Hughes12 years ago 127db00Lifted a FIXME from Core/ProofStateJan de Muijnck-Hughes12 years ago f624b93Lifted TODO/FIXME to the issue tracker for Core/TypecheckJan de Muijnck-Hughes12 years ago 5492e60Removed dead code from Core/TypecheckJan de Muijnck-Hughes12 years ago 34d1acaAdd %elim to Ordering.Juliusz Chroboczek12 years ago