git.iko.soy/Idris-dev
on 7c34217 help sign in
7c34217Allow class constraints to be namedEdwin Brady ee32989Search in current elaboration stack for instancesEdwin Brady e57170dNeed to separate flags when invoking gccEdwin Brady 9b55e98Cleaning a package should remove idx file tooEdwin Brady ed58a4bAdd missing test fileEdwin Brady bb0162fCan't run effects003 on nodeEdwin Brady 3874926Add Hangman example to testsEdwin Brady 8628481refsIn should take all the PsEdwin Brady d75ff02Update CHANGELOGEdwin Brady df13cbcAdd missing case in needsBigInt in JS back endEdwin Brady 6449edeAdd missing file(!)Edwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 40ee5f3Update CHANGELOGEdwin Brady c8c5b17Merge pull request #1813 from mattias-lundell/masterEdwin Brady ab32c46Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 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 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