git.iko.soy/Idris-dev
on master help sign in
history of267f34d..master
compare
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 ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross 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 9cbb5dbFix imports and make hexVect localReynir Reynisson a30a9c1Make it compile, and use a List instead of a VectReynir Reynisson 53376fcIn-language implementation of Show BitsNReynir Reynisson ebc0f2fFix a typo in an error message.Matus Tejiscak 4fcacceUpdate for idris 0.9.8.1Benjamin Saunders 134eef4somethingBenjamin Saunders fb9af01Read from standard inputBenjamin Saunders ca7d80aBasic solver workingBenjamin Saunders