lightyear

Parsers automatically backtrack on failure, eliminating the need for explicit `try` wrappers required in Parsec, leading to cleaner and more intuitive code.

Combinators like `commitTo` and operators such as `>!` allow developers to commit to parsing branches after consuming input, preventing unnecessary backtracking and improving efficiency.

Operators like `<|>|` and `<*>|` handle recursion safely in Idris's strict evaluation environment, enabling robust parser definitions without infinite recursion issues.

Organized into focused modules (e.g., Core, Combinators, Char) and offers a Parsec-inspired syntax, easing adoption for those experienced with parser combinators.