towards monads: use u,v for monadic terms
[lambda.git] / assignment6.mdwn
2010-10-31 Chris Barkerassignment 6