pumping

Regular languages in types
Description

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

Install
Published
01 Apr 2017
Maintainers
Sources
0.1.0.tar.gz
md5=4b3f058aa0dc4842927b3b7e29064ce2
Dependencies
jbuilder
>= "1.0+beta6"
ocaml
>= "4.03.0"
Reverse Dependencies