diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-26 10:04:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-26 10:04:58 -0400 |
| commit | f5331f50f3628c067cd9f8e1320d5df49d92f3cf (patch) | |
| tree | 1ae89db4b35c9dc3c8b5a44d0d71094cc7d4a638 /doc | |
| parent | b2f6e6a5501937c58cbd8eb9b5d90ceae0321386 (diff) | |
Remove misguided type class optimization
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions