3 ms·Factorial in Python with the Lambda Calculus1 points by gcr 16y agogcr 16y agoOK, 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.