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