Mercurial > urweb
diff src/expl_rename.sml @ 2009:799be3911ce3
Monadic bind supports patterns
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 17:16:02 -0400 |
parents | 7db8356caef5 |
children | 403f0cc65b9c |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 17:16:02 -0400 |
parents | 7db8356caef5 |
children | 403f0cc65b9c |