Description
Idris 2 projects can reuse a collection of total parsers for structured input processing.
It is useful for developers who want parser code with strong type-level guarantees. Parser libraries still need validation around untrusted input, errors, and resource use.