beluga
A Language for programming and reasoning using Higher-Order Abstract Syntax
Description
Install
- Published
-
27 Jul 2015
- Maintainers
-
Sources
Dependencies
Reverse Dependencies