beluga
A Language for programming and reasoning using Higher-Order Abstract Syntax
Description
Install
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies