beluga

A Language for programming and reasoning using Higher-Order Abstract Syntax
Description
Install
Documentation complogic.cs.mcgill.ca Edit opam file
Published
27 Jul 2015
Authors
Maintainers
Sources
beluga-0.8.2.tar.gz
md5=1574e030f203792a822c21926c7106f3
Dependencies
ocamlbuild build
ulex
extlib-compat
extlib
ocamlfind
ocaml
Reverse Dependencies