git.iko.soy/Idris-dev
on master help sign in
history off15aaef..master
compare
78a55abDon't block under Delay in repl evaluationEdwin Brady a0725d2Fix trivial top level proof search failureEdwin Brady 13a36a3Annotate functions as %hint for auto searchEdwin Brady 7befb29Merge pull request #2068 from xoltar/clarify-finEdwin Brady 8a41916Tidying CONTRIBUTING.mdEdwin Brady 9d7c50aOverdid the external primitivesEdwin Brady 5433d22Merge pull request #2051 from jfdm/doc/contrib-updatesEdwin Brady 76fd1ceMerge pull request #2038 from TorosFanny/patch-2Edwin Brady 32f91a6Don't Force an implicit DelayEdwin Brady 9ddf8a1Small wording changes in Data.Fin section of tutorialBryn Keller 95eee3cRemove no longer used primitives from TTEdwin Brady fc02362Support externally defined primitivesEdwin Brady 89e325cRename Float to Double in ParserEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady 73ea02bRemove Buffer and BitVector from parserEdwin Brady c413280String in C is now UTF8 encodedEdwin Brady 9560761Refactor and adjust doc commentsMelvar Chen fc9839cAdd test for impossible in lambda and caseMelvar Chen ffa4223Allow impossible in caseMelvar Chen 58875b2Parse lambdas with impossibleMelvar Chen d0b8bb5Merge pull request #2066 from jfdm/doc/sphinx-version-fixesJan de Muijnck-Hughes 61fc842Clarify Data.Fin meaning for people who haven't seen this usage beforeBryn Keller 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 86bcbbcAllowed unnamed fields.Sune Alkærsig 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 4a1fcddUpdated wording in CONTRIBUTING.mdJan de Muijnck-Hughes 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 b9f0b7eFix build after rebaseAndrew Cann 465cc1cMake `div` and `mod` functions partial.Andrew Cann fe3d1f7Updates to contributing.mdJan de Muijnck-Hughes 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