diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-13 08:44:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-13 08:44:32 -0400 |
| commit | 363b43b25df5ab03b7954a421a00303668eea7eb (patch) | |
| tree | fbe06b63994c3d33b18a451146a7b57111e07359 /tests/style.ur | |
| parent | d05506a1ac2933a37257131ae208f9e71e3de76f (diff) | |
Simplify type class requirement for tree demo
Diffstat (limited to 'tests/style.ur')
0 files changed, 0 insertions, 0 deletions