git.iko.soy/Idris-dev
on e2c0e02 help sign in
e2c0e02Added myself to contributorsAhmad Salim Al-Sibahi 55af041Merge pull request #540 from reynir/patch1Edwin Brady cd462c9add myself to CONTRIBUTORSReynir Reynisson 23d10ceAdd missing patternReynir Reynisson 92923b7Merge pull request #539 from david-christiansen/errortEdwin Brady 63038b3Use the ErrorT failure functions and attempt to preserve error structureDavid Christiansen 53b28e6Update compiler to use new error handlingDavid Christiansen 5082ac4Make "Stale IBC" use the new error systemDavid Christiansen ac33945Wrap Idris in an ErrorTDavid Christiansen 3544af3Update version number to 0.9.9.3Edwin Brady 221e1a7Merge branch 'feature/nocolourrepl' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/nocolourreplEdwin Brady 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 514d582Fixes idris-lang/Idris-dev#512Ahmad Salim Al-Sibahi 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