#parsec-extra

This package intend to provide extras helpers for Lean.Data.Parsec, check document for usage about package.

You can add the package into dependencies with the following setup in lakefile.lean

require «parsec-extra» from git "https://git.sr.ht/~dannypsnl/parsec-extra" @ "main"

Then using the following command to fetch dependencies

lake update

In lean source file where going to use the package, put import line to the top of the source file

import ParsecExtra

#Development

Build project

lake build

Run tests

lake exe lspec

Generate document

lake -Kenv=dev update
lake -Kenv=dev build ParsecExtra:docs