git.iko.soy/Idris-dev
on ee76b88 help sign in
ee76b88Merge pull request #2641 from melted/clang_winNiklas Larsson a706247Fix build with clang on WindowsNiklas Larsson fe92473Merge pull request #2632 from ExNexu/patch-1Niklas Larsson 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 d3389d1Add --package contrib to tutorialStefan Bleibinhaus 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