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 0d5fed6added ST.Random utilitary functionsRui Barreiro9 years ago