Installation package for the Beluga proof developement language
Merge pull request #985 from fferreira/master

Installation package for the Beluga proof developement language