git.iko.soy/Idris-dev
on d1bc68b help sign in
d1bc68bMerge branch 'feature/simplifiedparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/simplifiedparsingEdwin Brady 5103785Merge branch 'vect-deceq' of https://github.com/reynir/Idris-dev into reynir-vect-deceqEdwin Brady 1d64535Fix parsers dependency to == 0.9Edwin Brady 76722bfRemove forcing optimisation from coverage checkerEdwin Brady 0e76ac9Remember whether implicits are machine generatedEdwin Brady 4cd1255Improves upon/fixes idris-lang/Idris-dev#530Ahmad Salim Al-Sibahi d8544e8Decidable.Equality: "Inline" vectDecEqReynir Reynisson 755c0d0Remove unneeded lemmaReynir Reynisson 8392244Decidable.Equality: Add DecEq (Vect n a) instanceReynir Reynisson d7ba624Unification tweak for unifying types and metavariable applicationsEdwin Brady dcc8d46Make more type classes resolve, by matching rather than unificationEdwin Brady b75246bMerge branch 'show-bits-in-language' of https://github.com/reynir/Idris-dev into reynir-show-bits-in-languageEdwin Brady a51ed3dMerge pull request #528 from ahmadsalim/masterEdwin Brady 6367eb5Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady b9d0b7eRemove irrelevant commentEdwin Brady 9cdf03aFix compilation of unqualified constructor namesEdwin Brady 170da61Propagate '%assert_total' to with blocksEdwin Brady e7d962dMerge pull request #529 from ziman/masterEdwin Brady 9497822Merge pull request #533 from Ralith/fix-js-buildEdwin Brady 480a28bFix broken build caused by 3fdf1a03Benjamin Saunders 267f34dChanged the way addproof works to indented-block style Allowed a larger range of expression to work with slices (improves on idris-lang/Idris-dev#524)Ahmad Salim Al-Sibahi 54a89bfMerge pull request #525 from reynir/masterEdwin Brady a068cb5Merge pull request #523 from Ralith/fix-llvm-installEdwin Brady de0bcbdMerge pull request #522 from Ralith/fix-travisEdwin Brady 463752dMerge pull request #521 from raichoo/masterEdwin Brady 13a5881Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1bc3002Some Eff experimentation, adding a 'test' commandEdwin Brady db96d75Add a 'compute' before elaboration to expand type synonyms etcEdwin Brady 9cbb5dbFix imports and make hexVect localReynir Reynisson a30a9c1Make it compile, and use a List instead of a VectReynir Reynisson 16fe40djavascript: remove identity functionsraichoo 53376fcIn-language implementation of Show BitsNReynir Reynisson 24fb370javascript: loop to reduce constructorraichoo dd10071javascript: reduce more functionsraichoo ebc0f2fFix a typo in an error message.Matus Tejiscak f2309ddjavascript: added jsident for identifiersraichoo 549627cjavascript: switch to jsbnraichoo 0efe215javascript: reduce tailcalls for reduced functionsraichoo 8947a2ejavascript: reduce functionsraichoo a15afc9javascript: optimize arraysraichoo 7ca1ca0javascript: remove unused coderaichoo 270cbcajavascript: use strings for bigints to pervent overflowraichoo a976e30javascript: inline newraichoo 00272c5javascript: ditch optimizer for simpler approachraichoo af1a706javascript: smarter inlineraichoo 5389c3bjavascript: recursive optimizerraichoo 7a70f67Add Show () instanceReynir Reynisson ef09742Verify that foreign symbols declared in multiple places have a consistent signatureBenjamin Saunders c614366Print failed pattern match error messages to stderrBenjamin Saunders 7a43e68Keep track of prototyped foreign symbols across definitionsBenjamin Saunders