Mercurial > urweb
comparison src/elab_util.sml @ 1929:f792a6544093
Add show instance for 'id' type
| author | Sergey Mironov <grrwlf@gmail.com> |
|---|---|
| date | Mon, 07 Oct 2013 14:08:10 +0400 |
| parents | 1aa9629e3a4c |
| children | 403f0cc65b9c |
comparison
equal
deleted
inserted
replaced
| 1928:f1c211936557 | 1929:f792a6544093 |
|---|