diff options
author | 2015-01-28 08:47:04 -0500 | |
---|---|---|
committer | 2015-01-28 08:47:04 -0500 | |
commit | 1a063e0d926ebaf414349df3854af12369c81f5a (patch) | |
tree | 76628810e7ccd84fa5062c9d06310d668ea8ee96 /tests/cloconv.ur | |
parent | 4ebd5fa2b9a3419e93d1289150d9fd5559a58e42 (diff) |
Improve wildification for records of type-class witnesses
Diffstat (limited to 'tests/cloconv.ur')
0 files changed, 0 insertions, 0 deletions