alba

A compiler for the Albatross programming language
Description

The Albatross compiler verifies programs statically.

Install
Sources
0.4.0.tar.gz
md5=bfd81f1a042fcf0794bd9dfb8e4591bf
Dependencies
menhir
build
ocaml
>= "4.03.0"
Reverse Dependencies