package alba
Alba compiler
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.4.tar.gz
sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b
md5=25234357587126685d64f16236167937
Description
Published: 16 Dec 2020
README
README.md
General
This repository holds the sources for the Albatross compiler.
The language Albatross allows static verification (i.e. correctness proofs) of programs.
The albatross compiler is a proof assistant and a compiler for the Albatross language.
Documentation
Dependencies (7)
-
ppx_inline_test
build & >= "v0.14.0" -
menhir
build & >= "20200624" -
js_of_ocaml-ppx
>= "3.6.0" -
js_of_ocaml
>= "3.6.0" - linenoise
-
dune
>= "1.10.0" -
ocaml
>= "4.08.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page