git.iko.soy/Idris-dev
on c331c16 help sign in
c331c16Add myself to `CONTRIBUTORS`, as requested.Synthetica9 c4e039eMerge pull request #3618 from ahmadsalim/hotfix/travis-stylishness-configAhmad Salim Al-Sibahi 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi fd26c0bUse system GHC in stackAhmad Salim Al-Sibahi 146f3baMade stack and GHC versions flexibleAhmad Salim Al-Sibahi d0e74afFixed cabal version for STYLISH configAhmad Salim Al-Sibahi c03fa21Merge pull request #3415 from steshaw/interactive-indentation-configAhmad Salim Al-Sibahi bc91270Merge pull request #3612 from atacratic/DataZZplusAssociativeZEdwin Brady 024663cMerge pull request #3475 from enolan/stylish-travisEdwin Brady 6d90b54Merge pull request #3609 from justjoheinz/feature/zipperEdwin Brady a136895Merge pull request #3598 from allancto/patch-1Edwin Brady a463bb1Collected language PRAGMAs and removed debugging commentsAhmad Salim Al-Sibahi 2e9847cMerge pull request #3611 from pkel/patch-1Ahmad Salim Al-Sibahi fb33d8cIndentation configuration via command line args.Steven Shaw c86bf98Merge pull request #3605 from XeFias/masterAhmad Salim Al-Sibahi 8f7d9a4Merge pull request #3557 from Synthetica9/Data_MonoidAhmad Salim Al-Sibahi 1da1805Merge pull request #3548 from eklavya/masterAhmad Salim Al-Sibahi a7c7eb1Merge pull request #3613 from david-christiansen/eq-RawDavid Christiansen 3ab7affAdd Eq instance for RawDavid Christiansen c2a5e75Add proof of associativity of addition for integers (Data.ZZ).Chris Gibbs c8a4b7aTypo in tutorialpkel 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