beluga

Maintainerfferre8@cs.cmgill.ca
Dependencies
&ocamlfind
omake
ounit
ulex
|extlib
extlib-compat
OCaml< 4.02.0
PublishedAug 16, 2013
Source [http] http://complogic.cs.mcgill.ca/beluga/beluga-0.5-20130207.tar.gz
27ca78189f8e5e4346e4850c2faa4bd0
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.5/opam

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

Optional for
sqlite3EZ