git.iko.soy/Idris-dev
on master help sign in
history ofd081b00..master
compare
c4f31c4Merge pull request #2046 from jfdm/fix/userdocsJan de Muijnck-Hughes c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes 9afcb72Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 1bd70a1Merge branch 'ozgurakgun-improve-universe-solver'Edwin Brady cef8780Fix constraint generation/testsEdwin Brady 454ec21Add section on package creation, and typo fixes.Jan de Muijnck-Hughes 6c673c2Change Solver to use ConstraintFC, not a pairEdwin Brady cc9895dMerge branch 'improve-universe-solver' of https://github.com/ozgurakgun/Idris-dev into ozgurakgun-improve-universe-solverEdwin Brady efda0d0Merge pull request #2042 from defanor/effects-fixJan de Muijnck-Hughes 8b70c6aFixes #2045 Fixed reST syntax error in license declaration.Jan de Muijnck-Hughes 84fa0bbMerge pull request #1991 from markfarrell/graph-and-polyhedraDavid Christiansen baad761avoid adding the same constraint to the queueOzgur Akgun 7fe57bfonly adding constraints to the queue when the relevant bound is updatedOzgur Akgun 91acb3aMention syntax variable capture in CHANGELOGDavid Raymond Christiansen 14b7025Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1172David Raymond Christiansen 8fce3b9Avoid test clash with upstreamDavid Raymond Christiansen 44cc995Stop relying on implicit capture in effectsDavid Raymond Christiansen f92d573Don't rewrite name variables when avoiding capture in syntaxDavid Raymond Christiansen d57d60aUse a Set for universe constraintsEdwin Brady 57f1543Move Graph.idr & Polyhedra.idr to contrib.Mark Farrell 56adfb6Effects tutorial fixdefanor 7f91ff7change w to w'TorosFanny e10c205Merge branch 'ozgurakgun-master'Edwin Brady 9284294Add fc to universe error messageEdwin Brady 09ff7edMerge branch 'master' of https://github.com/ozgurakgun/Idris-dev into ozgurakgun-masterEdwin Brady 11c5ceaFix missing imports in effects tutorialv0.9.17Edwin Brady 5bd490bVersion number incrementEdwin Brady 0f65b89Documentation tweaksEdwin Brady abe0f32Merge pull request #2027 from david-christiansen/issue/2019David Christiansen be1569eFix type class name propagation issueEdwin Brady 50d7dcePrevent variable capture when desugaring custom syntaxDavid Raymond Christiansen 63e3ef9Merge pull request #2023 from jfdm/doc-fixesDavid Christiansen 1df37d2Revert "temporarily updating the error messages for error001 and error004. they need to be looked at."Ozgur Akgun beda221Improve display of documenation for named instancesDavid Raymond Christiansen be54e85Reorder instance methodsEdwin Brady 159a0c4Merge pull request #2022 from david-christiansen/docbadgeDavid Christiansen 134a227Merge pull request #2015 from david-christiansen/issue/1987David Christiansen 22d1ae6Propagation of explicit arguments in typeclassesEdwin Brady c974e3bUpdate display of instances in :doc for a type classDavid Raymond Christiansen e46c615Fixed license in root index file.Jan de Muijnck-Hughes 1dfc53cAdd ReadTheDocs badge to READMEDavid Raymond Christiansen 84d3629Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1987David Raymond Christiansen b5052ebNon-determining parameters not assumed injectiveEdwin Brady 3d81858Merge pull request #2007 from david-christiansen/library-reorgDavid Christiansen bbbe880Merged.Sune Alkærsig 3a0f464temporarily updating the error messages for error001 and error004. they need to be looked at.Ozgur Akgun d44a2dffancier queue implementation: the queue contains a set of constraints (without the FCs) so duplicate checking is a bit fasterOzgur Akgun 6592eacMerge pull request #2020 from jfdm/sphinx-themeJan de Muijnck-Hughes 237c783Updated theme to work woth read the docs.Jan de Muijnck-Hughes c2b1627Remove base/Network from cabal fileDavid Raymond Christiansen