git.iko.soy/Idris-dev
on master help sign in
history of705dbe1..master
compare
81a73e9Add desugarnats to completionNiklas Larsson 2535873Merge pull request #2627 from comco/patch-1David Christiansen 98d6a87Add Vim command for declaration documentationcomco 0345e41Merge pull request #2624 from juhp/patch-3Niklas Larsson ce8b625allow utf8-string 1.0.*Jens Petersen 1c24404Merge pull request #2618 from cbiffle/cbiffle-syntax-guide-importsNiklas Larsson abc76e1Merge pull request #2619 from david-christiansen/substr-2Niklas Larsson 724e78bMerge pull request #2620 from ben-schulz/fix/master/repl_desugarnatsNiklas Larsson 33fb426syntax guide: discuss modules, imports.Cliff L. Biffle 49fae22Add option to desugar nats in REPL outputben-schulz 3a32759Merge pull request #2603 from Melvar/shift-vectDavid Christiansen e9d9041Be more thorough in substring testingDavid Raymond Christiansen f4352a7Merge pull request #2617 from david-christiansen/substr-2Niklas Larsson 066e890Substring as primitiveDavid Raymond Christiansen 69d4b2aMerge pull request #2615 from melted/js_unicodeNiklas Larsson 2869be1Make a utf-8 string in getLine for NodeNiklas Larsson 6fc713dMerge pull request #2606 from NightRa/patch-1David Christiansen d583ff0Merge pull request #2607 from sdroege/faq-typoDavid Christiansen f121da7faq: Fix typo in argument name of ifThenElseSebastian Dröge 053ffdcFix a typo in the Cast documentationIlan Godik be157aaMerge pull request #2604 from melted/clean_compileNiklas Larsson b19d03cRemove --yes-reallyNiklas Larsson cb11c39Cleanup in Compiler.hsNiklas Larsson 319d143Remove obsolete reflected tacticMelvar Chen 6e49c84Add Ordering composition and use it for Ord (Vect n a)Melvar Chen 6b4c4d2Give Vect.findIndices & Co a more useful typeMelvar Chen 3f24facClean up various Data.Vect functionsMelvar Chen 50b5031Merge VectType into Vect to be more like other Data.*Melvar Chen bba27b6Remove +, -, and * on FinDavid Raymond Christiansen 6cf7f5aFix proof script deprecation warningsDavid Raymond Christiansen 90bbf06Add deprecation warning for %elimDavid Raymond Christiansen fa6a50aMerge pull request #2599 from scshunt/masterDavid Christiansen b9e9c52Add myself to CONTRIBUTORS.Sean Hunt 8501e6dUse uninhabited instance for nonempty.Sean Hunt b28fecfFix docstringDavid Raymond Christiansen 752a2fcUpdate tests for proof deprecationDavid Raymond Christiansen f4bcbbcUpdate CHANGELOG for deprecated tacticsDavid Raymond Christiansen dfb42d1Emit deprecation warning for old-style tactic proofsDavid Raymond Christiansen 81a9095Add deprecation warning to old interactive proverDavid Raymond Christiansen f88a377Add elaborator reflection to default namespaceDavid Raymond Christiansen 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