pumping
Regular languages in types
Description
Pumping is a library leverage the OCaml type system to recognize regular languages.
Install
- Published
-
01 Apr 2017
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies