beluga

A Language for programming and reasoning using Higher-Order Abstract Syntax
Description
Install
Published
27 Jul 2015
Sources
beluga-0.8.2.tar.gz
md5=1574e030f203792a822c21926c7106f3
Dependencies
Reverse Dependencies