9c8b3d4Add some buffer primitivesEdwin Brady9 years ago 4162113Merge pull request #4264 from mlang/doctyposJason Felice9 years ago 1e4133bMerge pull request #4243 from eraserhd/deprecated-parser-featuresJason Felice9 years ago d03a437Fix typos in docsMario Lang9 years ago b7e2e18Merge remote-tracking branch 'upstream/master' into deprecated-parser-featuresJason Felice9 years ago 12594b3Better warnings for `class` and `instance`Jason Felice9 years ago 76e45a3Merge pull request #4261 from jfdm/bump-to-lts-haskell-10Jan de Muijnck-Hughes9 years ago cd7e553Bumped Idris to work with LTS Haskell 10.Jan de Muijnck-Hughes9 years ago 9e34930Fix export in Node back endEdwin Brady9 years ago 1d3bef9Adjust warnings re: class and instanceJason Felice9 years ago c20e139Merge remote-tracking branch 'upstream/master' into deprecated-parser-featuresJason Felice9 years ago 24f580dRemove a few more lambdas in Lang IREdwin Brady9 years ago 7282c0aSome optimisation of case treesEdwin Brady9 years ago adc43d8Add some %static annotations in Prelude.ListEdwin Brady9 years ago 5b987adLift out lambdas in case blocksEdwin Brady9 years ago 5404934Merge pull request #4226 from XeFias/contrib_ST_FileAhmad Salim Al-Sibahi9 years ago 77830c6Merge pull request #4253 from msmorgan/div-mod-precedenceAhmad Salim Al-Sibahi9 years ago de1d865Much improved inliningEdwin Brady9 years ago b95c907fix broken tests caused by `mod` precedenceMichael Morgan9 years ago 8bdd897add precedence for infix `div` and `mod`Michael Morgan9 years ago ae6ab2dMerge pull request #4249 from jfdm/stable-stack-yamlJan de Muijnck-Hughes9 years ago d47e95bRemove some redundancy in case treesEdwin Brady9 years ago 664253cMerge pull request #4235 from vaibhavsagar/groupByAhmad Salim Al-Sibahi9 years ago f75e3cbAdd `group` and `groupBy` to contribVaibhav Sagar9 years ago aa63280Make sure a point release of idris builds with LTS Haskell.Jan de Muijnck-Hughes9 years ago 5218727Merge pull request #4245 from msmorgan/data-fuelAhmad Salim Al-Sibahi9 years ago d773eddMerge pull request #4247 from msmorgan/lexer-regex-docsAhmad Salim Al-Sibahi9 years ago 4f19553Merge remote-tracking branch 'upstream/master' into deprecated-parser-featuresJason Felice9 years ago 42ce413add regular expression equivalents to Text.Lexer documentationMichael Morgan9 years ago fc10769removed unnecessary whitespace.Xefias9 years ago b4b4641Updated comments according to review comments:Xefias9 years ago 99f0d60add CHANGELOG entry for Data.FuelMichael Morgan9 years ago d080dbbmove `Fuel` data type into its own moduleMichael Morgan9 years ago 3c1a983Merge pull request #4244 from msmorgan/json-changelogAhmad Salim Al-Sibahi9 years ago 27bf213add CHANGELOG entry for Language.JSONMichael Morgan9 years ago 5d52a94Merge pull request #4181 from msmorgan/jsonAhmad Salim Al-Sibahi9 years ago 57b64a7Remove deprecated 'public' without 'export'Jason Felice9 years ago e35d643Remove deprecated `[static]` keywordJason Felice9 years ago 4c40a72Remove deprecated %assert_totalJason Felice9 years ago 0cfc98cRemove long-deprecated `abstract`Jason Felice9 years ago 5194c07indented JSON formattingMichael Morgan9 years ago 075504aData.String.Extra: more String utilitiesMichael Morgan9 years ago 4777dceLanguage.JSON: total JSON parsingMichael Morgan9 years ago 905b7fcText.Lexer: add `control` and `controls` lexersMichael Morgan9 years ago 72937bbPrelude.Chars: add isControl functionMichael Morgan9 years ago a2e981eMerge pull request #4239 from eraserhd/lhs-extentsJason Felice9 years ago 74928cdMerge pull request #4233 from sellout/poly-categoryAhmad Salim Al-Sibahi9 years ago adc5fc8Merge pull request #4240 from camelpunch/patch-1Ahmad Salim Al-Sibahi9 years ago c3987ccChange default C compiler flagsEdwin Brady9 years ago 022a435Fix efficiency problem with 'covering'Edwin Brady9 years ago