git.iko.soy/Idris-dev
on 50878fa help sign in
50878faMerge pull request #2638 from NightRa/patch-2Niklas Larsson 56afb44Fix Char-Ascii docsIlan Godik aba225cMerge pull request #2635 from david-christiansen/coverage-defaultDavid Christiansen f1ff8fbMerge pull request #2634 from david-christiansen/namesInQQDavid Christiansen aeb703eUse elaborated form of cases to check for defaultsDavid Raymond Christiansen 92c1959Respect quotation when expanding parametersDavid Raymond Christiansen 6d7d3bdMerge pull request #2630 from david-christiansen/namesInQQDavid Christiansen 071d34bMake name operations on PTerm quotation-awareDavid Raymond Christiansen 9243fdfMerge pull request #2629 from melted/fix_completionNiklas Larsson 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 fa6a50aMerge pull request #2599 from scshunt/masterDavid Christiansen b9e9c52Add myself to CONTRIBUTORS.Sean Hunt 8501e6dUse uninhabited instance for nonempty.Sean Hunt 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