monads lib: made all monad types doubly param'd; required plus,zero from all monads
[lambda.git] / intensionality-monad.ml
2010-11-10 Chris Barkerfixed discussion of lift in intensionality monad
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-10-31 Chris BarkerMonads