GitHub repository: Beluga-lang/Beluga
Primary language: OCaml
Created: 2015-05-14T14:00:29Z
Description: Contextual types meet mechanized metatheory!