6a031c5add Interfaces.Zippable to contribMichael Morgan9 years ago 33bff54Merge pull request #4016 from msmorgan/feature/stream-startWithNiklas Larsson9 years ago f83cc0dMerge pull request #4017 from melted/net_winNiklas Larsson9 years ago 6dbef7aimprove documentation for Data.Stream.Extra.startWithMichael Morgan9 years ago 51a6379move `startWith` from prelude to contribMichael Morgan9 years ago cecf6bfMake Network.Socket work on WindowsNiklas Larsson9 years ago 9c56c15add startWith function to Prelude.StreamsMichael Morgan9 years ago 82114d1Merge pull request #4015 from melted/fix_net_2Niklas Larsson9 years ago 2410405Fix more places were getaddrinfo is usedNiklas Larsson9 years ago 916111bMerge pull request #4012 from melted/issue_4001Niklas Larsson9 years ago 673acd6Fix return check from idrnet_getaddrinfoNiklas Larsson9 years ago e87d767Merge pull request #4007 from melted/calm_appveyorNiklas Larsson9 years ago 0338341Try to make appveyor not be mad at warningsNiklas Larsson9 years ago 0722f9dMerge pull request #4005 from clayrat/patch-5Niklas Larsson9 years ago bb5e943Merge pull request #4006 from ivanov/add-system-docAhmad Salim Al-Sibahi9 years ago 45b90deadd System.system documentationPaul Ivanov9 years ago 11fb110added prim op LComplAlex Gryzlov9 years ago b352960Merge pull request #3941 from ruippeixotog/if-not-lt-then-gteAhmad Salim Al-Sibahi9 years ago 8b60548Merge pull request #3998 from melted/issue3994Niklas Larsson9 years ago 385cf27Merge pull request #3993 from Melvar/standard-showsNiklas Larsson9 years ago 3ad2672Prefer to load imports from the current packageNiklas Larsson9 years ago 18a1826Make a few Show instances parenthesise properlyMelvar Chen9 years ago ebd2e6fMerge pull request #3989 from melted/ptr_eqNiklas Larsson9 years ago 50d0e48Merge pull request #3919 from geigerzaehler/simplify-language-varAhmad Salim Al-Sibahi9 years ago 80c84ccMerge pull request #3917 from geigerzaehler/refactor-js-codegenNiklas Larsson9 years ago 96c1aeaRemove redundant importsThomas Scholtes9 years ago 4fc4c93Remove unused function in JS codegenThomas Scholtes9 years ago 41cc113Remove unused data in JS code generationThomas Scholtes9 years ago 311e3beSimplify JS code generationThomas Scholtes9 years ago 63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes9 years ago 69c3c9aChange eqPtr to use the primitiveNiklas Larsson9 years ago 83b1bedMerge pull request #3986 from jfdm/fix-literate-moduleJan de Muijnck-Hughes9 years ago e3bd9eaFix line number reporting for `Text.Literate`.Jan de Muijnck-Hughes9 years ago 4494bc7Merge pull request #3985 from jfdm/literate-moduleJan de Muijnck-Hughes9 years ago 21ea61bAddition of a literate tooling to `contrib`.Jan de Muijnck-Hughes9 years ago c57269bMerge pull request #3983 from melted/fix_fastaNiklas Larsson9 years ago 7e25ae9Add cabal new-build's build dir to ignoreNiklas Larsson9 years ago bf01486Fix fasta benchmarkNiklas Larsson9 years ago 7d0263aMerge pull request #3982 from melted/fix_cabal2_winNiklas Larsson9 years ago 2584944Fix build with Cabal 2.0.0.2 on WindowsNiklas Larsson9 years ago e4fbe77Add missing 'Default-Language' fieldEdwin Brady9 years ago 7bf6cdeMerge pull request #3981 from ahmadsalim/contribution/issue-reporting-updateAhmad Salim Al-Sibahi9 years ago 725605fAdded issue templateAhmad Salim Al-Sibahi9 years ago 5e0301cIncrement version, update CHANGELOGEdwin Brady9 years ago c79d4d3Fix reference to old heap in idris_concatEdwin Brady9 years ago b30057f-f execonly now builts RTS tooEdwin Brady9 years ago d3c4842Update CONTRIBUTING.mdAhmad Salim Al-Sibahi9 years ago deaa136Update CONTRIBUTING.mdAhmad Salim Al-Sibahi9 years ago 56cd328Update CONTRIBUTING.mdAhmad Salim Al-Sibahi9 years ago a5ff76dMerge pull request #3975 from bonds/masterNiklas Larsson9 years ago