belugaversion
A Language for programming and reasoning using Higher-Order Abstract Syntax
| Author | Brigitte Pientka and collaborators |
|---|---|
| Published | |
| Homepage | http://complogic.cs.mcgill.ca/beluga/ |
| Issue Tracker | https://github.com/Beluga-lang/Beluga/issues |
| Maintainer | [email protected] |
| Dependencies |
|
| Source [http] | http://complogic.cs.mcgill.ca/beluga/beluga-0.8.2.tar.gz sha256=56241b52190a75446ac46a6f35a052ac45abf8a4f9fa63c3772a9e712af98816 md5=1574e030f203792a822c21926c7106f3 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8.2/opam |
No package is dependent
