The calculus of constructions
Primary LanguageRustMIT LicenseMIT
The calculus of constructions.
Mostly from figure 5 of this MSR paper.