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.5-20130207.tar.gz md5=27ca78189f8e5e4346e4850c2faa4bd0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.5/opam |
Optionally used by
