prepare calc improvements to be week10 notes
[lambda.git] / wadler-monads.pdf
2010-10-25 Chris Barkermoved curry-howard, added Wadler paper