fbcd643Check datatypes are not redefinedEdwin Brady12 years ago 58dd2b5Move Pair/Sigma into Builtins namespaceEdwin Brady12 years ago c943361Remove Type* on type of (.)Edwin Brady12 years ago 713776cCheck for cycles in unification resultsEdwin Brady12 years ago 2c39286Fix for name clashes when applying transformationsEdwin Brady12 years ago f01c1a1Efficiency of unificationEdwin Brady12 years ago 6b13474Merge pull request #1773 from JakobBruenker/masterEdwin Brady12 years ago 934bc0bMerge pull request #1770 from jfdm/fix/lift-todo-completionEdwin Brady12 years ago f2d752aMerge pull request #1762 from bmsherman/improveParserErrors2Edwin Brady12 years ago 2e645e2Merge pull request #1774 from raichoo/masterraichoo12 years ago 9ec6a5aadded IOExcept handler to FileIO effectraichoo12 years ago b12b10fadded ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPLJakob Brünker12 years ago d60c85eAdd a default case for addShowsEdwin Brady12 years ago 6b6aae0Avoid retrying unification problems constantlyEdwin Brady12 years ago 36e304dLifted TODO/FIXME issues to the issue tracker.Jan de Muijnck-Hughes12 years ago bcd2db1Check target of 'with' is a value (not a function)Edwin Brady12 years ago ec17e6aMerge pull request #1763 from ziman/show-vectEdwin Brady12 years ago c44a35cMerge pull request #1761 from bmsherman/dontDupErrorsEdwin Brady12 years ago 6f032ccMerge pull request #1755 from mattias-lundell/masterEdwin Brady12 years ago e452845Merge pull request #1712 from Melvar/remove-impossibleEdwin Brady12 years ago 64a6cebDefine Show instance for Vect via toList.Matus Tejiscak12 years ago 7afa03aNeed to resolve autos in each 'try' branchEdwin Brady12 years ago b0a0c0cImprovement for 'auto'Edwin Brady12 years ago ed81980Update expected error messages for testsBen Sherman12 years ago fa9b742Improve parser errors in dependent type signaturesBen Sherman12 years ago 43cb5c7Reduce redundant 'specifically' clauses in errorsBen Sherman12 years ago 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 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