package alba

  1. Overview
  2. Docs
Alba compiler

Install

Dune Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.2.tar.gz
md5=64367c393f80ca784f88d07155da4fb0

Description

Published: 20 Apr 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)

  1. ppx_inline_test build
  2. js_of_ocaml build
  3. menhir build
  4. js_of_ocaml-ppx
  5. linenoise
  6. dune >= "1.10.0"
  7. ocaml >= "4.08.0" & < "5.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None