| 2010-12-12 | Jim Pryor | tweak monads-lib | blob | commitdiff |
| 2010-12-11 | Jim Pryor | tweak monads-lib | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | monads lib: made all monad types doubly param'd; requir... | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | tweak monads-lib | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | monads.ml: make Error.TP,TP2 drop fail to Wrapped.zero | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | monads.ml: add TP2 to Error, make Error.run less exn-y | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | monads.ml: add TP to Error | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | tweak monads-lib | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | tweak monads-lib, migrate to T2 | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | tweak monads-lib, start T2 | blob | commitdiff | diff to current |
| 2010-12-11 | Jim Pryor | push monads library | blob | commitdiff | diff to current |