belugaversion
A Language for programming and reasoning using Higher-Order Abstract Syntax
Published | |
---|---|
Maintainer | fferre8@cs.cmgill.ca |
Dependencies |
|
Source [http] | http://complogic.cs.mcgill.ca/beluga/beluga-0.8.tar.gz md5=2292b177fdcd84dc52e2cc1d26495392 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8/opam |
Optionally used by