e7c7faaFix typo in Dep.Eff documentation.Stevan Andjelkovic9 years ago 26cb165Merge branch 'master' into exportiface_jsNiklas Larsson9 years ago 7e800caSmall tweak to inliningEdwin Brady9 years ago 8cb1337Fix deprecation warning in Text.LiterateEdwin Brady9 years ago f2790b0Update CHANGELOG.mdAhmad Salim Al-Sibahi9 years ago 921ac8fAdded Data.IORefEdwin Brady9 years ago 8fb1be9Merge pull request #4076 from steshaw/private-functions-changelog-entryAhmad Salim Al-Sibahi9 years ago 83bb62fUnused binds (#4067)Jason Felice9 years ago 04d0151Changelog entry for "hiding private functions".Steven Shaw9 years ago d4bd8e6Clean up unused imports (#4065)Jason Felice9 years ago be8523fFix for commit in Text.ParserEdwin Brady9 years ago 07b7138Merge pull request #4062 from steshaw/private-functionsEdwin Brady9 years ago 613c962Merge pull request #4058 from msmorgan/feature/parser-functorEdwin Brady9 years ago c5128cbMerge pull request #4031 from msmorgan/feature/lexer-quantifiersEdwin Brady9 years ago d9a1c9dMerge pull request #4053 from msmorgan/bugfix/lexer-reject-eofEdwin Brady9 years ago a22feaaMerge pull request #4045 from msmorgan/feature/lexer-manyThenEdwin Brady9 years ago 0a83894added my self to contributorsRui Barreiro9 years ago 938b321run stylizeRui Barreiro9 years ago d3f9138interface parameter is passed to codegenRui Barreiro9 years ago f436c5fExpose `@` patterns to where functions (#4057)Jason Felice9 years ago 8d2ae1aMerge branch 'master' of github.com:idris-lang/Idris-dev into exportiface_jsRui Barreiro9 years ago 2dd2fd1add support for FFI_Export in js backend but the command line option does not reach js yetRui Barreiro9 years ago a071dabMerge pull request #4068 from RyanGlScott/masterAhmad Salim Al-Sibahi9 years ago bfee5e6Add Paths_idris to other-modules of codegen executablesRyan Scott9 years ago b571e63Tweak coding style.Steven Shaw9 years ago 20236a9Remove FIXME.Steven Shaw9 years ago 319166cImprove interactive018.Steven Shaw9 years ago 8f6f9afCode style tweakSteven Shaw9 years ago b8a0ac1Merge pull request #4054 from mdimjasevic/fix/master/issue-3883Ahmad Salim Al-Sibahi9 years ago f17a3b6Issue #3883: Updated messages according to @ahmadsalimMarko Dimjašević9 years ago 828de62Text.Lexer: deprecate `manyTill`Michael Morgan9 years ago 7c2148dText.Lexer: add newline and comment lexersMichael Morgan9 years ago 7e604f8Text.Lexer: add `manyUntil` and `manyThen`Michael Morgan9 years ago 82a82abText.Lexer: fix behavior of `surround`Michael Morgan9 years ago 0482a74Text.Lexer: refactoringMichael Morgan9 years ago 3559debText.Parser: implement `Functor (Grammar tok c)`Michael Morgan9 years ago 1f1155cDisable interactive017 (again).Steven Shaw9 years ago 6e66041Tweak for stylish-haskellSteven Shaw9 years ago 5950e1ePrevent private functions showing up in autocomplete and :t.Steven Shaw9 years ago 6ea3989Fixed issue #3883Marko Dimjašević9 years ago d36f5e9Text.Lexer: add quantified lexer combinatorsMichael Morgan9 years ago 6739b01Text.Lexer: improve `choice`Michael Morgan9 years ago a1ac9a2Text.Lexer: fix `reject` behavior at end-of-inputMichael Morgan9 years ago f925538Merge pull request #4039 from msmorgan/feature/lexer-case-insensitiveJan de Muijnck-Hughes9 years ago 891998fMerge pull request #4052 from msmorgan/bugfix/lexer-export-nonJan de Muijnck-Hughes9 years ago 8c4286eText.Lexer: add like and approx for case-insensitivityMichael Morgan9 years ago 3ace2ddText.Lexer: export `non`Michael Morgan9 years ago f047221Add (broken) test case for "private functions"Steven Shaw9 years ago 00dc543Text.Lexer: move exact so it's with other basic opsMichael Morgan9 years ago 189d909Merge pull request #4037 from msmorgan/feature/lexer-failJan de Muijnck-Hughes9 years ago