albaversion
A compiler for the Albatross programming language
The Albatross compiler verifies programs statically.
Author | Helmut Brandl <helmut.brandl@gmx.net> |
---|---|
License | GPL-2.0-only |
Published | |
Homepage | http://albatross-lang.sourceforge.net |
Issue Tracker | http://github.com/hbr/albatross |
Maintainer | Helmut Brandl <helmut.brandl@gmx.net> |
Dependencies |
|
Source [http] | https://github.com/hbr/albatross/archive/0.4.0.tar.gz sha256=6a405147cbd6b8fc6ab3086b6956b5dc9d6ecc73904d2a341853873a502bb891 md5=bfd81f1a042fcf0794bd9dfb8e4591bf |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/alba/alba.0.4.0/opam |
No package is dependent