package beluga
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Language for programming and reasoning using Higher-Order Abstract Syntax
Install
Dune Dependency
Authors
Maintainers
Sources
beluga-0.5-20130207.tar.gz
sha256=256467db13e27c647d0ea95a7afd10ff082f3d490b21a45cd2f8abc8dc92e6c3
md5=27ca78189f8e5e4346e4850c2faa4bd0
On This Page