diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-01-28 08:47:04 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-01-28 08:47:04 -0500 |
| commit | 1a063e0d926ebaf414349df3854af12369c81f5a (patch) | |
| tree | 76628810e7ccd84fa5062c9d06310d668ea8ee96 /src/mono_reduce.sml | |
| parent | 4ebd5fa2b9a3419e93d1289150d9fd5559a58e42 (diff) | |
Improve wildification for records of type-class witnesses
Diffstat (limited to 'src/mono_reduce.sml')
0 files changed, 0 insertions, 0 deletions