tweak monads-lib
authorJim Pryor <profjim@jimpryor.net>
Sun, 12 Dec 2010 06:09:45 +0000 (01:09 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sun, 12 Dec 2010 06:09:45 +0000 (01:09 -0500)
commit4e590cb7725aa4ba86b06491ff2ec9338bc8e347
tree51d8c08f7121a75faf3c533f0c8e73710b0e687f
parent4bc0776e79a9bad3a6378d9f1339f62605e436fd
tweak monads-lib

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