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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page