alba

Alba compiler
README

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

Install
Published
16 Dec 2020
Sources
0.4.4.tar.gz
md5=25234357587126685d64f16236167937
Dependencies
odoc
with-doc
ppx_inline_test
build & >= "v0.14.0"
menhir
build & >= "20200624"
js_of_ocaml
>= "3.6.0"
dune
>= "1.10.0"
ocaml
>= "4.08.0"
Reverse Dependencies