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.1.tar.gz sha256=39814a97ac2d19e1b0d65e46e66d49c8f663d0182e41c8113384cb952348320b md5=f5e940e1f96d9fa6a5ce5ef954be98e7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8.1/opam |
Optionally used by
