albaversion

A compiler for the Albatross programming language

The Albatross compiler verifies programs statically.

AuthorHelmut Brandl <helmut.brandl@gmx.net>
LicenseGPL-2.0-only
Published
Homepagehttp://albatross-lang.sourceforge.net
Issue Trackerhttp://github.com/hbr/albatross
MaintainerHelmut Brandl <helmut.brandl@gmx.net>
Dependencies
Source [http] https://github.com/hbr/albatross/archive/0.4.0.tar.gz
md5=bfd81f1a042fcf0794bd9dfb8e4591bf
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/alba/alba.0.4.0/opam
No package is dependent