2 ms·
OK, I realize it's not pure lambda calculus because I'm using recursion, but that's not hard to eliminate. I wanted to be more instructive than mathematically s
by gcr 16y ago
OK, I realize it's not pure lambda calculus because I'm using recursion, but that's not hard to eliminate. I wanted to be more instructive than mathematically sound.