git.iko.soy/Idris-dev
on 348ddce help sign in
348ddceError reflection for FinDavid Raymond Christiansen 91cd4d5Better message on IBC load failureEdwin Brady 40f6534Better typecase checkEdwin Brady a2ab10cFix interactive annoyance in vimEdwin Brady 052e3beFix JS code generationEdwin Brady 5faaba9More information runtime error for missing caseEdwin Brady e95c877Make pattern matching consistent in lambda/letEdwin Brady 6c133a0Forgot to commit the update test...Edwin Brady f733bf0Only allow @ patterns on LHSEdwin Brady ca4b563Update CHANGELOGEdwin Brady 94be0ebUndo dubious optimisation in resolveTCEdwin Brady 4175a7fCoverage checker should ignore hidden argumentsEdwin Brady 57cd38aFix checkPossible when unifying bound varsEdwin Brady 8789717Hide other unmatchable patternsEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady 98a46fcUse correct error function for PElabErrorEdwin Brady 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