Mercurial > cpdt > repo
comparison tools/make_template.ml @ 371:f7c2bf7f1324
The one rule of dependent pattern matching
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 02 Mar 2012 10:52:22 -0500 |
| parents | d07c77659c20 |
| children | 3fc43e261f67 |
comparison
equal
deleted
inserted
replaced
| 370:549d604c3d16 | 371:f7c2bf7f1324 |
|---|