blaisorblade / beluga Goto Github PK
View Code? Open in Web Editor NEWThis project forked from beluga-lang/beluga
Contextual types meet mechanized metatheory!
Home Page: http://complogic.cs.mcgill.ca/beluga/
License: GNU General Public License v3.0