~dannypsnl/parsec-extra

Lean Parsec extra
c8ac5714 — Lîm Tsú-thuàn 1 year, 2 months ago
replace github ci with sourcehut build
dc727163 — Lîm Tsú-thuàn 1 year, 2 months ago
remove github workflows
a885c0ff — Lîm Tsú-thuàn 1 year, 2 months ago
shouldn't submit manifest for library

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~dannypsnl/parsec-extra
read/write
git@git.sr.ht:~dannypsnl/parsec-extra

You can also use your local clone with git send-email.

#parsec-extra

builds.sr.ht status

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