package alba

  1. Overview
  2. Docs
A compiler for the Albatross programming language

Install

Dune Dependency

albatross-lang.sourceforge.net 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.0.tar.gz
md5=bfd81f1a042fcf0794bd9dfb8e4591bf

Description

The Albatross compiler verifies programs statically.

Published: 16 Feb 2018

Dependencies (4)

  1. menhir build
  2. ocamlbuild build
  3. ocamlfind build
  4. ocaml >= "4.03.0" & < "5.0"

Dev Dependencies

None

Used by

None

Conflicts

None