belugaversion

A Language for programming and reasoning using Higher-Order Abstract Syntax

AuthorBrigitte Pientka and collaborators
Published
Homepagehttp://complogic.cs.mcgill.ca/beluga/
Issue Trackerhttps://github.com/Beluga-lang/Beluga/issues
Maintainerfferre8@cs.cmgill.ca
Dependencies
Source [http] http://complogic.cs.mcgill.ca/beluga/beluga-0.8.2.tar.gz
sha256=56241b52190a75446ac46a6f35a052ac45abf8a4f9fa63c3772a9e712af98816
md5=1574e030f203792a822c21926c7106f3
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.0.8.2/opam
Optionally used by