1 result found Sort:

Beluga-lang
Beluga Beluga-lang
16
187
gpl-3.0
11
Contextual types meet mechanized metatheory!
lf hoas ocaml beluga dependent-types
Created 2015-05-14
5,070 commits to master branch, last one 7 months ago