push monads library
authorJim Pryor <profjim@jimpryor.net>
Sat, 11 Dec 2010 00:00:14 +0000 (19:00 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sat, 11 Dec 2010 00:00:14 +0000 (19:00 -0500)
commit341631c0ca1850cc0e2bdaa459fc1bdc771a3175
treee131c2c3a20822b936592076d0f5bb304462e711
parent3efa73db8144876f5ac7036f4d4675f5517c1a50
push monads library

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/monads.ml [new file with mode: 0644]