JadenGeller / Calcula

Swift lambda calculus functions supporting intensional equality
12Updated 8 years ago

Related projects

Alternatives and complementary repositories for Calcula