package pumping

  1. Overview
  2. Docs
Regular languages in types

Install

Dune 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

Published: 01 Apr 2017

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct