• en

beluga

A Language for programming and reasoning using Higher-Order Abstract Syntax

Maintainer fferre8@cs.cmgill.ca

Events

Aug 16, 2013

Published version 0.5