git.iko.soy/Idris-dev
on e4f92e0 help sign in
e4f92e0Add docs, stack.yaml and benchmarks to idris.cabalEcho Nolan 4932d1cPi binders can never unify with TypeEdwin Brady 47db070Proof search fixEdwin Brady b573bf0Improve addImpl under PHiddenEdwin Brady 908f2f2Transform rules and constraintsEdwin Brady 2e170bfRemove dubious matching ruleEdwin Brady 53ffd07Injectivity assumptionsEdwin Brady cf47310Change form of CHANGELOGEdwin Brady 8472399Update version numberv0.9.19Edwin Brady 141f5f1Test output correctionEdwin Brady d3b66cdSlight relaxation of proof search rulesEdwin Brady 55ffc21Some display tweaks for explicit argumentsEdwin Brady 60f0cb5Merge pull request #2543 from jfdm/record-docsJan de Muijnck-Hughes fea108aMerge pull request #2563 from jeremy-w/patch-2Jan de Muijnck-Hughes c4faa92Unescape '\' in list of non–user-definable symbolsJeremy W. Sherman dc5e42dMerge pull request #2561 from melted/ttyNiklas Larsson 1e80f1fNo newline after case in :makecaseEdwin Brady e86b0f6Check for TTY when setting colourNiklas Larsson 378bbd6Merge pull request #2560 from jeremy-w/patch-1David Christiansen 5b841fbFix typo in doc commentJeremy W. Sherman 102bd6bMerge pull request #2558 from david-christiansen/windows-colourDavid Christiansen dfba993Experimental support for console colours on WindowsDavid Raymond Christiansen 768ddb1Merge pull request #2557 from Heather/typoDavid Christiansen 50104a4typo: concatenatation -> concatenationHeather 0b3f260Merge pull request #2551 from david-christiansen/wip/tacticalDavid Christiansen 7642503Merge pull request #2554 from LeifW/remove_lens_depDavid Christiansen ffb50e2Insert namespace information to declaration-level %runElabDavid Raymond Christiansen 13623f6Remove direct dep on lensLeif Warner 3e9a19eMerge pull request #2553 from melted/icon2Niklas Larsson dec64c4Added the icon in the wrong dirNiklas Larsson 9af1241Merge pull request #2552 from melted/iconNiklas Larsson 659ab8cAdd a windows icon.Niklas Larsson 822142aMerge pull request #2548 from david-christiansen/wip/tacticalDavid Christiansen 7b58024Merge pull request #2547 from Melvar/fix-number-showDavid Christiansen f5aecf7Deferred autosEdwin Brady 81e1962Type class resolution shouldn't use match_applyEdwin Brady a297e02Fix typo in docstring for Tactics.applyDavid Raymond Christiansen a953ba2Update test for new APIDavid Raymond Christiansen 9dd4233Adjust test primitive002 to backends' outputMelvar Chen c51bf7eFix comparison ops in JS backendMelvar Chen deb4d41Show Double with full precision on C backendMelvar Chen 073d5efFix primitives002 to do what it's supposed toMelvar Chen 6432db2Show MNs that occur in the goal in the interactive proversDavid Raymond Christiansen 7bde028Use subst for intro, rather than updsubstDavid Raymond Christiansen 29e29c2Add letbind to Elab reflectionDavid Raymond Christiansen ce764bfSplit Tactics.intro into two versionsDavid Raymond Christiansen 9202fa1Fix linksJan de Muijnck-Hughes 2fdf033Moved records to useful data typesJan de Muijnck-Hughes 65309a1Styling and OrderJan de Muijnck-Hughes 69db2b3Changes to tutorial.Jan de Muijnck-Hughes