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
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