diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-26 15:54:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-26 15:54:04 -0400 |
| commit | b80bc0fde66898326c077f7a3aa47151d7f9e755 (patch) | |
| tree | ddd45517e0df460b44d219633cdb5645f5d29bf8 /include/urweb.h | |
| parent | 88f948c12e78d9e3e75eb28864ade3395e5c6c86 (diff) | |
Enforce termination of type class instances
Diffstat (limited to 'include/urweb.h')
0 files changed, 0 insertions, 0 deletions