a4401f9Import ExceptT type and constructorBen Sherman12 years ago 1728a65Disambiguate forM callbmsherman12 years ago 684a578Completely replace ErrorT with ExceptTbmsherman12 years ago 00f1cd5Use ExceptT instead of ErrorTbmsherman12 years ago f7b72a6Use idris_alloc for GMP allocationEdwin Brady12 years ago 4108ad3Update CHANGELOGEdwin Brady12 years ago 941ba6eImplemented @-patternsEdwin Brady12 years ago 3c19722Merge pull request #1749 from alexander-b/fix-buildEdwin Brady12 years ago ec7a6a7Fix doc buildEdwin Brady12 years ago 51febe0Update CHANGELOGEdwin Brady12 years ago 94074a9Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 7b5f4aaFix visibility of imported thingsEdwin Brady12 years ago e6dcf41Merge pull request #1785 from raichoo/masterraichoo12 years ago d176363updated CHANGELOGraichoo12 years ago ba01be3added optimizations to js/node cabal sectionraichoo12 years ago e854962javascript: better unicode supportraichoo12 years ago b9e5895Merge pull request #1782 from mietek/masterEdwin Brady12 years ago 853c9c5Merge pull request #1783 from jfdm/contrib/updatesDavid Christiansen12 years ago 674eb4cSupport for inductive-inductive typesEdwin Brady12 years ago 8cbdc83Look in binders when building size change graphEdwin Brady12 years ago 64f9d19Several updates to idrislang.styJan de Muijnck-Hughes12 years ago f744f1cWork around bug in glibc 2.11Miëtek Bak12 years ago 8698e57Updates to idrislang.styJan de Muijnck-Hughes12 years ago 12c7a1bRemove -Werror in Output.hs due to ErrorTEdwin Brady12 years ago e34c6dfAdd proper namespace to class instancesEdwin Brady12 years ago 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