package pumping

  1. Overview
  2. Docs
Regular languages in types

Install 

dune-project
 Dependency

github.com LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License Edit opam file Versions (1)

Authors

  1. Gabriel Radanne

Maintainers

  1. Gabriel Radanne

Sources

0.1.0.tar.gz
sha256=e8eccabbcf47bcbc203ae9c40b21a20fe4b85ec5c5a3ecf7a988feff50aa4bfe
md5=4b3f058aa0dc4842927b3b7e29064ce2

Description

Pumping is a library leverage the OCaml type system to recognize regular languages.

Tags

regex types

Added to opam-repository:

Dependencies (5)

  1. fmt
  2. ocaml-migrate-parsetree < "2.0.0"
  3. jbuilder >= "1.0+beta6"
  4. ocamlfind build
  5. ocaml >= "4.03.0"

Dev Dependencies

None

Used by

None

Conflicts

None