ass5: omega->blackhole
[lambda.git] / wadler-monads.pdf
2010-10-25 Chris Barkermoved curry-howard, added Wadler paper