git.iko.soy/Idris-dev
on ba51147 help sign in
ba51147Removing matching on PSEdwin Brady c506e9fLift typecase restrictions on %reflection fns.Edwin Brady e086ccfCheck arguments being matched on are matchableEdwin Brady f15f5efMerge pull request #1798 from jfdm/update/readmeEdwin Brady 0cc80c6Merge pull request #1795 from japesinator/arrow_classesEdwin Brady 17439a0Merge pull request #1794 from japesinator/arrow_updateEdwin Brady e73b193Merge pull request #1786 from Heather/examplesEdwin Brady 4c16335Coverage checker fix for nested constantsEdwin Brady ba1f8e3Add missing LHS type checkEdwin Brady 6d54cb3Disallow explicit types on LHSEdwin Brady 957dd61Fix parameter propagation errorEdwin Brady a427f21Merge pull request #1796 from bmsherman/ExceptTEdwin Brady a4401f9Import ExceptT type and constructorBen Sherman f6459a2Updates to README.mdJan de Muijnck-Hughes 1728a65Disambiguate forM callbmsherman 684a578Completely replace ErrorT with ExceptTbmsherman 00f1cd5Use ExceptT instead of ErrorTbmsherman f7b72a6Use idris_alloc for GMP allocationEdwin Brady ddfdb2erenamed <#> to prevent naming conflictJP Smith b9de91badded subclasses for ArrowJP Smith 517dad9added default definitions for second, ***, &&&JP Smith 4108ad3Update CHANGELOGEdwin Brady 941ba6eImplemented @-patternsEdwin Brady 3c19722Merge pull request #1749 from alexander-b/fix-buildEdwin Brady d20e863remove /examples/ folder, move Makefile to /samples/Heather ec7a6a7Fix doc buildEdwin Brady 51febe0Update CHANGELOGEdwin Brady 94074a9Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7b5f4aaFix visibility of imported thingsEdwin Brady e6dcf41Merge pull request #1785 from raichoo/masterraichoo d176363updated CHANGELOGraichoo ba01be3added optimizations to js/node cabal sectionraichoo e854962javascript: better unicode supportraichoo b9e5895Merge pull request #1782 from mietek/masterEdwin Brady 853c9c5Merge pull request #1783 from jfdm/contrib/updatesDavid Christiansen 674eb4cSupport for inductive-inductive typesEdwin Brady 8cbdc83Look in binders when building size change graphEdwin Brady 64f9d19Several updates to idrislang.styJan de Muijnck-Hughes f744f1cWork around bug in glibc 2.11Miëtek Bak 8698e57Updates to idrislang.styJan de Muijnck-Hughes 12c7a1bRemove -Werror in Output.hs due to ErrorTEdwin Brady e34c6dfAdd proper namespace to class instancesEdwin Brady fbcd643Check datatypes are not redefinedEdwin Brady 58dd2b5Move Pair/Sigma into Builtins namespaceEdwin Brady c943361Remove Type* on type of (.)Edwin Brady 713776cCheck for cycles in unification resultsEdwin Brady 2c39286Fix for name clashes when applying transformationsEdwin Brady f01c1a1Efficiency of unificationEdwin Brady 6b13474Merge pull request #1773 from JakobBruenker/masterEdwin Brady 934bc0bMerge pull request #1770 from jfdm/fix/lift-todo-completionEdwin Brady