diff options
| author | Matthieu Sozeau | 2014-09-23 23:31:26 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-23 23:35:56 +0200 |
| commit | a8401c47b6fd9ff9542dfcd0f31a5e84405c930d (patch) | |
| tree | dc7fc333411cf1a02d5db499ca68be7a1c553efd /kernel | |
| parent | 43d4036b7c484768de0c7dc0b7b2a9f3826ac2e8 (diff) | |
Fix bug #3656.
Maintain the user-level view of primitive projections,
disallow manual unfolding and do not let hnf give the eta-expanded
form.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions