git.iko.soy/Idris-dev
on master help sign in
history ofed50df1..master
compare
02a36adAllow :search and :apropos to search packagesEdwin Brady 26da5c7Save index file when installing a packageEdwin Brady 9702474Merge pull request #1808 from bmsherman/prettyPrintEdwin Brady 58ad2d6Merge pull request #1809 from bmsherman/replPromptEdwin Brady 292d3f5ignore primitives004 on all backends except CMattias Lundell 6dafd18Added bit vectors to the C backendMattias Lundell 71bbd62REPL prompt should only show successfully loaded modulesBen Sherman 96d370eFlip operator precedence rules for pretty-printingBen Sherman d40cd6fCheck for duplicate names in Can't ConvertEdwin Brady 2e6b5e0Fix universe checking errorEdwin Brady 73bad9fAdd missing pattern in warnDisambEdwin Brady 10ec065Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 1865391Lambdas match on pattern expressionsEdwin Brady ebe30ddMerge pull request #1803 from david-christiansen/fin-error-reflectionDavid Christiansen d78e3c1Cabal file boilerplate for new tests and sourceDavid Raymond Christiansen 348ddceError reflection for FinDavid Raymond Christiansen 663b670Add `until` function to prelude.Robert Clipsham 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