/lambdacube

Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with dependency typed

Primary LanguageGoMIT LicenseMIT

Stargazers