An adequate left-associated binary numeral system in the lambda calculus

1 points | by fanf2 19 hours ago

No comments yet