Leansec

Agdarsec total parser combinators library port to Lean4.