beluga

A Language for programming and reasoning using Higher-Order Abstract Syntax
Description
Install
Authors
Sources
beluga-0.5-20130207.tar.gz
md5=27ca78189f8e5e4346e4850c2faa4bd0
Dependencies
Reverse Dependencies