git.iko.soy/Idris-dev
on 1cdc9dd help sign in
1cdc9ddReduce space leak through ugly DeepSeq hackDavid Raymond Christiansen 6d42600Show types in IDE namespace browserDavid Raymond Christiansen 60b43b4Add raw name quotesDavid Raymond Christiansen d952c94Improve error message when reifying non-constantDavid Raymond Christiansen 8902cacSave context changes in interactive elabDavid Raymond Christiansen f08e412Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady eb38173Merge branch 'jfdm-effLogging-updates'Edwin Brady c10d570Merge branch 'effLogging-updates' of https://github.com/jfdm/Idris-dev into jfdm-effLogging-updatesEdwin Brady a0d8376Merge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecatedNiklas Larsson 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