git.iko.soy/Idris-dev
on 2a68244 help sign in
2a68244Updated Unicode Char documentationKyarigwo 865343dMerge upstreamKyarigwo a308de2Merge pull request #3608 from SuprDewd/patch-1Ahmad Salim Al-Sibahi 721e60cUpdate changelog: Casting from string to numberBjarki Ágúst Guðmundsson 906f564Merge pull request #3607 from melted/disable_macNiklas Larsson ed5155cAllow failures for Travis Mac buildNiklas Larsson 4a78f0dMerge pull request #3604 from melted/fix_port_sdeclNiklas Larsson 252383fFix some name in SExpr json exportNiklas Larsson 4c91479Merge pull request #3565 from Synthetica9/Complex_Num_fixNiklas Larsson 119d964Merge pull request #3603 from SuprDewd/cast_whitespaceNiklas Larsson fb4a909More lenient casting from string to numberBjarki Ágúst Guðmundsson d719f11Merge pull request #3600 from jfdm/fix-sphinxJan de Muijnck-Hughes 3c07004Revert Sphinx Extension for docs.Jan de Muijnck-Hughes 36aaf7fC style changes while porting rts to 9front (#3596)joe9 1a4c80aMerge pull request #3563 from Synthetica9/Iso_CategoryDavid Christiansen 6cb5714Merge pull request #3597 from david-christiansen/issue/idris-mode/427David Christiansen eb94a03Merge pull request #3595 from yurrriq/improve-induction-error-messageDavid Christiansen a573876Use same format in IDE mode for hole types as REPLDavid Raymond Christiansen 22bd91aImprove Pruviloj.Induction.induction error messageEric Bailey 24c796aDeal with bound variables in recoverableCoverageEdwin Brady 5fb91afMerge pull request #3589 from jfdm/bump-stackJan de Muijnck-Hughes 2168db7Merge pull request #3588 from jfdm/fix-testingJan de Muijnck-Hughes 327d2f0Merge pull request #3590 from justjoheinz/patch-3Jan de Muijnck-Hughes 76e0282Provide an example of idris exampleMarkus Klink 2e080f9Bump to latest LTS Haskell 7.14.Jan de Muijnck-Hughes 5f54e5aCheck for node when running test suite.Jan de Muijnck-Hughes ad13438Check linear types in binders are validEdwin Brady 89dd6aeCheck linearity of functionsEdwin Brady 1a1176dNeed to evaluate when finding linear argsEdwin Brady fb185aaCheck for linearity of constructorsEdwin Brady a5033e7Add linear LamEdwin Brady 1e3651fCheck multiplicities on RigCountsEdwin Brady 2f3c9a5Add RigCount to pattern bindingsEdwin Brady 491633bSyntax for linear argumentsEdwin Brady 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady e3daf28Add RigCount to environmentEdwin Brady 17f0899Merge pull request #3574 from jfdm/tidy-reportingJan de Muijnck-Hughes 2e7a841Merge pull request #3568 from rizo/patch-1Jan de Muijnck-Hughes 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes ff2ed8bMerge pull request #3571 from jfdm/revert-verbosityJan de Muijnck-Hughes b79bf7bFix for cyclic solutions in unifyProblemsEdwin Brady 9eb843dErrors for inspecting a _ in case/withEdwin Brady cf61801Reverted changes to verbosity reporting.Jan de Muijnck-Hughes 32c2467Account for 'let' with unbound implicitsEdwin Brady 2196023Fix patvar naming for implicitsEdwin Brady 01e9953Add missing quotation marks for `in`Rizo Isrof 3b22e26Tiny comment fixSynthetica9 f15d4cbAdded extra commentSynthetica9 02159a3Fixed the Num instance for ComplexSynthetica9