tweak monads-lib
authorJim Pryor <profjim@jimpryor.net>
Sun, 12 Dec 2010 03:26:16 +0000 (22:26 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sun, 12 Dec 2010 03:26:16 +0000 (22:26 -0500)
commit092c31a2cad42975fb4751c2eda5ac03a13c8cd5
tree6b4dafb235fe36848064d1e756d6b953a6de41d3
parentef6e90fdda821a1d071c93dc50587d1a0fd207b9
tweak monads-lib

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