A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)
Primary LanguageRustMIT LicenseMIT