Leaf_monad -> Tree_monad
authorJim Pryor <profjim@jimpryor.net>
Sun, 12 Dec 2010 21:19:56 +0000 (16:19 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sun, 12 Dec 2010 21:19:56 +0000 (16:19 -0500)
commitd663eae3baea394ba9d75c24fc05ebb091b87c17
tree94af606c32345974ab371f7a49622f67c175ea7d
parent79ba921bc184bed9458fa9aaea1662fcb64b498f
Leaf_monad -> Tree_monad

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/monads.ml
monad_library.mdwn