git.iko.soy/Idris-dev
on master help sign in
history of88c5385..master
compare
c2a5e75Add proof of associativity of addition for integers (Data.ZZ).Chris Gibbs c8a4b7aTypo in tutorialpkel 865343dMerge upstreamKyarigwo 823a155Zipper implementation for ListsMarkus Klink 5e85ce3part 2 of FORCE_ALIGNMENT fix for arduino targets.XeFias ab87db1part 2 of FORCE_ALIGNMENT fix for arduino targets.XeFias d2a81f5part 2 of FORCE_ALIGNMENT fix for arduino targets.XeFias 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 376db08Implement second part of FORCE_ALIGNMENT fix for arduino targets.XeFias 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 12a8909Import dependencies in Atomallancto 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 9b372d8add Network/Socket/Data.idrPoroCYon 2383614rearrange stuffPoroCYon 491633bSyntax for linear argumentsEdwin Brady 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady e3daf28Add RigCount to environmentEdwin Brady b817debexport socket internals in Network.Socket.RawPoroCYon 58fc44eMerge branch 'master' of https://github.com/idris-lang/Idris-devSaurabh Rawat 17f0899Merge pull request #3574 from jfdm/tidy-reportingJan de Muijnck-Hughes dcd1864fixed importSaurabh Rawat