grip

A fast, graded Lean 4 byte-parser library. import Grip brings in the graded core -- the type (Grip.Graded), the point combinators (Grip.Byte), and the total scanners (Grip.Scan) -- along with the Parser face (Grip.Parser), the UTF-8/Char layer (Grip.Char), the named byte predicates and constants (Grip.Ascii), and the combinator vocabulary (Grip.Combinators).