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 sha256=770c48b43b1a0a3d489706e8b2598ad1d39b36e0a75f711f5fc3a99041297f9b md5=2292b177fdcd84dc52e2cc1d26495392 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8/opam |
Optionally used by
