package beluga
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Language for programming and reasoning using Higher-Order Abstract Syntax
Install
Dune Dependency
Authors
Maintainers
Sources
beluga-0.8.tar.gz
sha256=770c48b43b1a0a3d489706e8b2598ad1d39b36e0a75f711f5fc3a99041297f9b
md5=2292b177fdcd84dc52e2cc1d26495392
Description
Published: 08 Apr 2015
Dependencies (6)
-
ocamlbuild
build - ulex
- extlib-compat
- extlib
- ocamlfind
-
ocaml
< "4.02.2"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page