Installation package for the Beluga proof developement language #985

Merged
merged 1 commit into from Aug 19, 2013

Conversation

Projects
None yet
2 participants
Contributor

fferreira commented Aug 16, 2013

For reference on what Beluga exactly is please refer to: http://complogic.cs.mcgill.ca/beluga/

Thx.

Member

samoht commented Aug 19, 2013

Thanks for your patch! Could you please comment on https://github.com/OCamlPro/opam-repository/issues/955 to clarify the licensing issues ?

@samoht samoht added a commit that referenced this pull request Aug 19, 2013

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

@samoht samoht merged commit cad01fd into ocaml:master Aug 19, 2013

Member

samoht commented Aug 19, 2013

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment