GitHub repository: yatima-inc/Parsec.lean
Primary language: Lean
Created: 2022-03-11T15:41:37Z
Description: Parser combinators for Lean