git.iko.soy/Idris-dev
on master help sign in
history ofd1663cc..master
compare
a8d2afcMerge pull request #4745 from martinbaker/fixMarkupJan de Muijnck-Hughes a1b3097Merge pull request #4747 from dalpd/fix/master/typoJan de Muijnck-Hughes b141a55Fix typoDeniz A. Durmaz 9a7e8d7use literate-idris lexer to highlight literate codemartinbaker 3ab5036fix some documentation markup warningsmartinbaker 9549d9cUpdate version numbers ready for releaseEdwin Brady 16754f7Merge pull request #4743 from RichieAHB/patch-2Niklas Larsson c2c5647Merge pull request #4742 from RichieAHB/patch-1Niklas Larsson 31fb773Fix typoRichard Beddington 48b910bFix typoRichard Beddington 4e70401Merge pull request #4728 from nickdrozd/fibNiklas Larsson ff0af87Add equivalence proof for recursive and iterative FibonacciNick Drozd cf3071dexplain getEnv, getGoal, getHoles and getGuess bettermartinbaker 1366f5cMerge pull request #4732 from ziman/fix-dotted-implicitsNiklas Larsson 813ad24Stop ignoring dots for implicits.Matus Tejiscak 611564bMerge pull request #4734 from ziman/fix-travisJan de Muijnck-Hughes c7a05afMerge pull request #4737 from clayrat/fileremoveNiklas Larsson ab47462test for file existenceAlex Gryzlov f8c53ebfix executor and test outputAlex Gryzlov f66e8a9fix Core.Execute and testAlex Gryzlov 233a07efix Core.ExecuteAlex Gryzlov a803df4add expected output for the testAlex Gryzlov 2405b0badd fRemove FFI callAlex Gryzlov 26fa6c3Merge pull request #4731 from martinbaker/fixInteractiveDocNiklas Larsson bc1c500Merge pull request #4733 from clayrat/bool-latticeNiklas Larsson a70b24dAdd a missing extra package.Matus Tejiscak 140671aFix Travis build by removing redundant stack.yaml entry.Matus Tejiscak c891750add diagram for attackmartinbaker 01b7dbcfix markupmartinbaker fd5dfd9Merge pull request #4726 from 0nkery/masterNiklas Larsson f4cd5c0Merge pull request #4724 from nickdrozd/logicNiklas Larsson b0edb5bfix typomartinbaker c2690a9add example and diagram for solvemartinbaker d73e3c5add example and diagram for fillmartinbaker adbfa55better resolution of issuemartinbaker 977f1c0expand Bool laws, add (verified) lattice instances for Bool & NatAlex Gryzlov eda6a87extend holes examplemartinbaker 8f8303ecorrections to identity examplemartinbaker 810528dcorrections to identity examplemartinbaker 00f95a4add a page about the notation for holes and guessesmartinbaker a4da735fix markup errormartinbaker defab73update hole diagrams & remove reference to logicmartinbaker eab18eamore about putting proofs into compilermartinbaker a20abcbremove compute tactic from examplemartinbaker 9870904Add 'tasty-rerun' to extra deps in stack.yamlDmitry Shlagoff 32e92e8Add some propositional logic theoremsNick Drozd 162e468Merge pull request #4725 from gdennie/patch-1Jan de Muijnck-Hughes 2ce0c5dcorrect example package nameGeorge fdcbb6dMerge pull request #4721 from nickdrozd/parityNiklas Larsson c9b4ffeAdd some parity theoremsNick Drozd