towards monads: use u,v for monadic terms
[lambda.git] / y-combinator-fixed.jpg
y-combinator-fixed.jpg