Calcula

Swift lambda calculus functions supporting intensional equality