d03a437Fix typos in docsMario Lang9 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 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 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 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 4c95e68Adjust ST makeAndIncrement example typeAndrew Bruce9 years ago 5e69cecSuper minor simplificationJason Felice9 years ago 0296c12Extract lhsPrefixApp, lhsInfixAppJason Felice9 years ago 2634848Extract lhsJason Felice9 years ago 1b110b9Refactor clause parserJason Felice9 years ago 8e1a52cFix error location for lhs for prefix app clausesJason Felice9 years ago ef47811Remove commented-out updateDNsJason Felice9 years ago 4064dcfMerge pull request #4182 from msmorgan/text-tokenJan de Muijnck-Hughes9 years ago 8a1a7bfMake Category poly-kinded.Gregory Pfeil9 years ago 4c79980Merge pull request #4219 from robstewart57/docs-debug-symbolsAhmad Salim Al-Sibahi9 years ago 325e4fdMerge pull request #4231 from Average-user/masterAhmad Salim Al-Sibahi9 years ago b1a4264Improve error message locations (#4210)Jason Felice9 years ago