Mercurial > urweb
diff src/expl_util.sml @ 564:803b2f3bb86b
Monad type class seems to be working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 19 Dec 2008 10:27:58 -0500 (2008-12-19) |
parents | ae03d09043c1 |
children | 8998114760c1 |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 19 Dec 2008 10:27:58 -0500 (2008-12-19) |
parents | ae03d09043c1 |
children | 8998114760c1 |