beluga

Maintainerfferre8@cs.cmgill.ca
Dependencies
&ocamlbuild
ocamlfind
ulex
|extlib
extlib-compat
PublishedMay 15, 2015
Source [http] http://complogic.cs.mcgill.ca/beluga/beluga-0.8.1.tar.gz
f5e940e1f96d9fa6a5ce5ef954be98e7
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8.1/opam

A Language for programming and reasoning using Higher-Order Abstract Syntax

Optional for
sqlite3EZ