26922d4Merge pull request #4154 from msmorgan/parser-refactorAhmad Salim Al-Sibahi9 years ago 0659508Text.Lexer, Text.Parser: quantity combinatorsMichael Morgan9 years ago 09e7194Merge pull request #4165 from janschultecom/4161-fix-data-list-isElemAhmad Salim Al-Sibahi9 years ago 0324753Fixes #4161. Extracted mkNo to a top-level function for performance improvementsjanschultecom9 years ago 59ac463Text.Lexer, Text.Parser: add `choiceMap`Michael Morgan9 years ago 8656531Text.Lexer: add `concatMap`, move `concat` out of coreMichael Morgan9 years ago 85a7676Text.Lexer: rearrange and refactor functionsMichael Morgan9 years ago 8ac5aa0Text.Lexer: use `%access export`Michael Morgan9 years ago ea41144Text.Lexer: split core into its own moduleMichael Morgan9 years ago 62b06ebText.Lexer: avoid using private names outside coreMichael Morgan9 years ago 538aa6aText.Lexer: rewrite `exact` and `approx` in terms of `concat`Michael Morgan9 years ago a792d6bText.Lexer: add `concat`Michael Morgan9 years ago 565ccf5Text.Lexer: rearrange functions to prepare for splitMichael Morgan9 years ago 5d0b8a3Text.Parser: flip argument order of `parse`Michael Morgan9 years ago a33e785Text.Parser: additional combinatorsMichael Morgan9 years ago 36aa1b3Text.Parser: refactor and generalize combinatorsMichael Morgan9 years ago 61e7a85Text.Parser.Core: remove useless `inf`sMichael Morgan9 years ago 8783e4eData.Bool.Extra: proofs for booleans used in typesMichael Morgan9 years ago 3287187Text.Parser: use `%access export`Michael Morgan9 years ago 8b98ba2Text.Parser: move core of parser into its own moduleMichael Morgan9 years ago fd9a45aControl.Delayed: utilities for conditional `Lazy` or `Inf`Michael Morgan9 years ago b6d3c48Merge pull request #4163 from mpickering/patch-1Ahmad Salim Al-Sibahi9 years ago aad7688Megaparsec prep (#4164)Jason Felice9 years ago 6e0eebcExpose Idris.Package.ParserMatthew Pickering9 years ago 44a3f9cMerge pull request #4162 from reiner-dolp/masterNiklas Larsson9 years ago 48fa745IdrisDoc, set charset and viewportReiner Dolp9 years ago 2eec999Merge pull request #4156 from msmorgan/fix-fixitiesAhmad Salim Al-Sibahi9 years ago 3b53f2dMerge pull request #4158 from jfdm/update-pdfJan de Muijnck-Hughes9 years ago 4b384ddFix DOC version number and update shipped PDF.Jan de Muijnck-Hughes9 years ago 8a34c86adjust fixities of common operatorsMichael Morgan9 years ago b83d4baMerge pull request #4151 from msmorgan/string-funcsNiklas Larsson9 years ago 60cc3c0add some new functions to Data.String.ExtraMichael Morgan9 years ago 22d95ebMerge pull request #4113 from msmorgan/boolean-op-fixityAhmad Salim Al-Sibahi9 years ago 852be39Merge pull request #4147 from asandroq/fix-bignum-literalsAhmad Salim Al-Sibahi9 years ago ac88f4fFix generation of bignum literalsAlex Queiroz9 years ago 539186cMerge pull request #4146 from asandroq/fix-stack-nightlyNiklas Larsson9 years ago c37edddMake Idris build with Stack nightlyAlex Queiroz9 years ago 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice9 years ago 3d514acMerge pull request #4137 from asandroq/fix-div-and-modAhmad Salim Al-Sibahi9 years ago eed742eMerge branch 'master' into boolean-op-fixityAhmad Salim Al-Sibahi9 years ago fddb326Merge pull request #4111 from msmorgan/alternative-infixrAhmad Salim Al-Sibahi9 years ago 50fa1d1Remove backend tests from input file and into sourceAlex Queiroz9 years ago b85425eMerge remote-tracking branch 'upstream/master' into fix-div-and-modAlex Queiroz9 years ago 3aa9c18Merge pull request #4143 from asandroq/fix-integer-literalNiklas Larsson9 years ago 242dfc7Fix generation of integer literals in the C backendAlex Queiroz9 years ago 2366f36Merge branch 'master' into alternative-infixrAhmad Salim Al-Sibahi9 years ago dcf65d8Merge branch 'master' into boolean-op-fixityAhmad Salim Al-Sibahi9 years ago 443e2d9Merge pull request #4135 from clayrat/patch-7Ahmad Salim Al-Sibahi9 years ago da3e6f7Merge pull request #4138 from melted/increase_win_boundNiklas Larsson9 years ago 6a00842Update win32 boundsNiklas Larsson9 years ago