git.iko.soy/Idris-dev
on 7dcd0cd help sign in
7dcd0cdFix code block in FFI documentationAlex Queiroz 59c9cd9Merge pull request #4227 from asandroq/use_ghc_822Ahmad Salim Al-Sibahi 5bb7180Move the stackage resolver one month forwardAlex Queiroz 0b12888Merge pull request #4221 from melted/changelog_hashNiklas Larsson f452b92Add changelog item for C FFI #-prefixNiklas Larsson 7664753Merge pull request #4218 from melted/paste_ffiNiklas Larsson 3d2e39aPrefix for pasting in identifiers in C FFINiklas Larsson f8509e4Merge pull request #4211 from msmorgan/repl-versionJan de Muijnck-Hughes 4a2e0acadd ":version" REPL commandMichael Morgan 5f822a5Merge pull request #4209 from msmorgan/fix-elim-warningAhmad Salim Al-Sibahi c047c24fix warning text for '%elim' in parserMichael Morgan 5afea19Merge pull request #4202 from msmorgan/list-length-nat-constructorsAhmad Salim Al-Sibahi 5562c93Add parity functions for naturals. (#4201)Vanessa McHale 8f8c93fMerge pull request #4199 from robstewart57/vect-scanl1Ahmad Salim Al-Sibahi 1855f8bMerge pull request #4204 from A1kmm/fix-acceptAhmad Salim Al-Sibahi 39148e5Set length when accepting on socketAndrew Miller 72c233dMerge pull request #4200 from msmorgan/verbatim-string-trailing-quotesAhmad Salim Al-Sibahi 242191eimplement `Prelude.List.length` using `Nat` constructorsMichael Morgan 5fd758cadd test cases verifying new verbatim string behaviorMichael Morgan 612f918update CHANGELOG.md with new verbatim string behaviorMichael Morgan 31156f0support trailing quotes in verbatim string literalsMichael Morgan ecce09cAdds scanl1 to Data.VectRob Stewart 21ab196Merge pull request #4196 from Niriel/issue_3500Ahmad Salim Al-Sibahi a92f2f8Merge pull request #4198 from ahmadsalim/bug/fixtotalitcheckingAhmad Salim Al-Sibahi dcaa109Add test for totality checking of partially applied functionAhmad Salim Al-Sibahi 74214e6Changed unknown values to unknown instead of sameAhmad Salim Al-Sibahi 8c5758cMerge pull request #4197 from eraserhd/transformers-compatAhmad Salim Al-Sibahi f33ba47No longer need transformers-compatJason Felice 07ee064Expands on documentation of the 'with' rule (#4195)Rob Stewart afa8a25Merge pull request #4191 from jfdm/remove-floatJan de Muijnck-Hughes d2f6382Updated the CHANGELOG.Jan de Muijnck-Hughes 678f590Remove deprecated functions from Language.Reflection.Jan de Muijnck-Hughes f80814aRemove deprecated names from Prelude.Monad.Jan de Muijnck-Hughes cc1c4edSync issue_3500 with upstream/master.Niriel 2a6dce9Moved `abs` from the `Neg` interface into its own `Abs` interface. (Issue 3500)Niriel f92ecd2Merge pull request #4190 from jfdm/fix-haddock-copyrightJan de Muijnck-Hughes 3f7bb1cRemoval of deprecated functions for Pairs.Jan de Muijnck-Hughes 61ce9a5Remove deprecated functions for File IO.Jan de Muijnck-Hughes 7a2309fRemove deprecated functions in Prelude.BitsJan de Muijnck-Hughes ce48932Removed return from Effects.Jan de Muijnck-Hughes 4e5727eRemove type synonym that points Float to Double.Jan de Muijnck-Hughes 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes a4258cdMerge pull request #4189 from jfdm/fixup-ipkg-listingsJan de Muijnck-Hughes 38f826bTidy up iPKG module listings.Jan de Muijnck-Hughes f863dd2Merge pull request #4188 from jfdm/fix-docsJan de Muijnck-Hughes 4f94132Merge pull request #4187 from jfdm/fix-wl-lazinessJan de Muijnck-Hughes 1b15bb4update tutorial binary.Jan de Muijnck-Hughes 75b9608fix version numbers in listings.Jan de Muijnck-Hughes f8c2edfFix reST errors.Jan de Muijnck-Hughes 3292691provisional wasn't included in the index for the tutorial.Jan de Muijnck-Hughes