git.iko.soy/Idris-dev
on e947d69 help sign in
e947d69Add conversion checking to ElabDavid Raymond Christiansen 70d197eMerge pull request #2595 from Melvar/fix-testsDavid Christiansen 0600e99Merge pull request #2596 from Melvar/fix-chrDavid Christiansen 1f8944fMerge pull request #2594 from david-christiansen/various-updatesDavid Christiansen 52dd309Make chr check for the correct rangeMelvar Chen d846ce7Make test totality010 work when ncurses is enabledMelvar Chen 1cdc9ddReduce space leak through ugly DeepSeq hackDavid Raymond Christiansen c6acf7fMerge pull request #2593 from melted/issue-2568Niklas Larsson 98eb1afAdd exe to windows executables without extension when cleaning.Niklas Larsson 73c6bb4Merge pull request #2592 from melted/bit-patternNiklas Larsson 8564250Allow pattern matching on BitX constantsNiklas Larsson 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