diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-10 17:29:03 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-10 17:29:03 -0400 |
| commit | 90d6483a54745b4b647b429c018dd49d0797459c (patch) | |
| tree | ae4fb9cd2b1daf1601ab9ad335fbb9574d372f8f /tests/type_class.ur | |
| parent | 4bc363c5ec2724b9d310e17181ca87517c98aa68 (diff) | |
Noisy demo
Diffstat (limited to 'tests/type_class.ur')
0 files changed, 0 insertions, 0 deletions