git.iko.soy/Idris-dev
on 88005d8 help sign in
88005d8Merge pull request #2572 from enolan/cabal-extra-filesNiklas Larsson 5d6a5c4Merge pull request #2579 from suhr/explit-codegenNiklas Larsson 5be9e7cFix parameter propagationEdwin Brady 5f47887Combine a chunk of regxxx testsEdwin Brady 2f9d287Implicit fixEdwin Brady fcba396Coverage checker fixEdwin Brady c931effProof search improvementsEdwin Brady c382799improve the usage message a bit moreСухарик dbe3887Merge pull request #2583 from GuglielmoS/update_contribDavid Christiansen c934905Add myself as contributor for #2373 and #2569Guglielmo Fachini b1ce3cbImplement a form of pattern unificationEdwin Brady 5c4598eUpdate CHANGELOG for record docsDavid Raymond Christiansen 4b3c477Merge pull request #2569 from GuglielmoS/fix/master/2241David Christiansen 0fbfeabImprove pruning of alternativesEdwin Brady 524c223improve help messagesСухарик 18450ffavoid confusion between the compiler and codegensСухарик f5f662cImprove HTML generation for records documentationGuglielmo Fachini 0ed71c9Fix primitives002Edwin Brady 3ec5b5cFix parameters documentation in the record's customized displayGuglielmo Fachini fe4d6d3Move Data.Floats to Prelude.DoublesEdwin Brady f7ccfb3Neg and Nat adjustmentsEdwin Brady 22ef96bMerge pull request #2574 from enolan/docs-typoDavid Christiansen ef2f677Merge pull request #2575 from kojiromike/patch-1David Christiansen a6395c2Typo fixMichael A. Smith 7f6f3c4Spelling in Sphinx documentationEcho Nolan abac36eRemove stray *s in tutorialEcho Nolan e4f92e0Add docs, stack.yaml and benchmarks to idris.cabalEcho Nolan 0fe4649Add a customized display for records documentationGuglielmo Fachini 3f31e4eAdd support to keep track of records in IBC filesGuglielmo Fachini 555feb5Add support to keep track of records in IStateGuglielmo Fachini 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