/Calcula

Swift lambda calculus functions supporting intensional equality

Primary LanguageSwiftMIT LicenseMIT

Stargazers