Add some examples of monad laws using "safe division"
[lambda.git] / y-combinator.jpg
2010-09-18 Jim Pryorkept developing week3