aaaad69Add something like Haskell's "error" function.David Raymond Christiansen12 years ago f1e161dA new primitive tactic for getting source locationsDavid Raymond Christiansen12 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 b83380eAdd %elim to Either.Juliusz Chroboczek12 years ago 3d9115aAdd %elim to tuples.Juliusz Chroboczek12 years ago 78155beFix use of %flag in test basic001Melvar Chen12 years ago 27d6b04Call gcc using rawSystemMelvar Chen12 years ago 528cc11Replace some uses of system with rawSystemMelvar Chen12 years ago 4c7eaedconsistent format for empty class declarationsBlackBrane12 years ago 5eb8dffverified monads are applicativesJP Smith12 years ago 19cb950Fixed typo, removed some extra whitespaceBlackBrane12 years ago e612c84distinct Module instance for matricesCliff Harvey12 years ago c71826aadded verified functors/applicativesJP Smith12 years ago