beluga

Author Brigitte Pientka and collaborators
Homepage http://complogic.cs.mcgill.ca/beluga/
Issue Tracker https://github.com/Beluga-lang/Beluga/issues
Maintainer fferre8@cs.cmgill.ca
Dependencies
& ocamlbuild
ocamlfind
ulex
| extlib
extlib-compat
Published Jul 27, 2015
Source [http] http://complogic.cs.mcgill.ca/beluga/beluga-0.8.2.tar.gz
1574e030f203792a822c21926c7106f3
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8.2/opam

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

Optional for
sqlite3EZ