package beluga
A Language for programming and reasoning using Higher-Order Abstract Syntax
Install
Dune Dependency
Authors
Maintainers
Sources
beluga-0.8.1.tar.gz
md5=f5e940e1f96d9fa6a5ce5ef954be98e7
Description
Published: 10 Jun 2015
Dependencies (6)
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page