list zipper to contin: expand explanations
[lambda.git] / wadler-monads.pdf
2010-10-25 Chris Barkermoved curry-howard, added Wadler paper