diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-25 14:04:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-25 14:04:59 -0400 |
| commit | 7c37a6336fb1a56fee80e94f9e5188c3436102cd (patch) | |
| tree | 65d3f936aeb2cb122bc23fcccb19aa571b296fc7 /lib | |
| parent | 59fbe515a0462e98ab3cbb78a1f136f382ab927a (diff) | |
Allow type class instances with hypotheses via local ('let') definitions
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions