package alba
A compiler for the Albatross programming language
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.0.tar.gz
sha256=6a405147cbd6b8fc6ab3086b6956b5dc9d6ecc73904d2a341853873a502bb891
md5=bfd81f1a042fcf0794bd9dfb8e4591bf
Description
The Albatross compiler verifies programs statically.
Published: 16 Feb 2018
Dependencies (4)
-
menhir
build -
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.03.0" & < "5.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page