beluga 0.5
| Maintainer | fferre8@cs.cmgill.ca | ||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dependencies |
|
||||||||||||||||||||||||||||||||||
| Published | Aug 16, 2013 | ||||||||||||||||||||||||||||||||||
| Source [http] |
http://complogic.cs.mcgill.ca/beluga/beluga-0.5-20130207.tar.gz 40a4bc36578594e053cdfe42d00818eb |
||||||||||||||||||||||||||||||||||
| Edit | https://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 |