notes on lambda calculus
[lambda.git] / _rosetta1.mdwn