git.iko.soy/Idris-dev
on 73ea02b help sign in
73ea02bRemove Buffer and BitVector from parserEdwin Brady c413280String in C is now UTF8 encodedEdwin Brady d0b8bb5Merge pull request #2066 from jfdm/doc/sphinx-version-fixesJan de Muijnck-Hughes 1dec451A couple more FAQsEdwin Brady 7672dfdAdd FAQ to documentationEdwin Brady c3f827fMake sure all patterns are top levelEdwin Brady df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes af1569cUpdated README to warn about sphinx version.Jan de Muijnck-Hughes faa95c0Merge pull request #2055 from jfdm/doc/missing-exampleEdwin Brady 628ddcbRemove captions from docsEdwin Brady c227094Added missing example.Jan de Muijnck-Hughes a87a66bMerge pull request #2054 from bmastenbrook/patch-1Edwin Brady df1af5fFix some missing wordsbmastenbrook 04831cfFix some minor typosbmastenbrook 7d76d93Fix more pandoc conversion errorsEdwin Brady f5aea00Move total annotation in proof descriptionEdwin Brady 0621bdcMore typos in theorem proving tutorialEdwin Brady 142f92fFix some pandoc conversion errorsEdwin Brady dadfc86Add reference to theorem proving tutorialEdwin Brady 9f4aea3Correct error message in proof docsEdwin Brady be93168Add section on theorem proving to tutorialEdwin Brady 9866d48Increment patch version numberv0.9.17.1Edwin Brady 2d503f1Fix interactive proverEdwin Brady cea7870Merge pull request #2028 from david-christiansen/issue/1172David Christiansen 9dc7105Cache constraint set in solver stateEdwin Brady 83ff2b6Merge pull request #2047 from jfdm/userdocs/package-creationJan de Muijnck-Hughes 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 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