package coq-parseque

  1. Overview
  2. No Docs
Total parser combinators in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. G
    G. Allais

Maintainers

  1. G
    G. Allais
  2. W
    W. Meier

Sources

v0.2.1.tar.gz
sha256=9ab8866df3c119bc9e638948c4c788fbf4c916aeb2f20a7248b402052b59c9d4

Description

Port of agdarsec to Coq

Tags

category:Computer Science/Data Types and Data Structures date:2024-01-01 logpath:parseque

Published: 02 Jan 2024

Dependencies (1)

  1. coq >= "8.16" & < "8.21"

Dev Dependencies

None

Used by (1)

  1. coq-wasm

Conflicts

None