Nils Anders Danielsson
edd8334381
[ #5427 ] Removed support for subtyping for erasure and irrelevance.
|
3 年 前 | |
|---|---|---|
| .. | ||
| fail | 3 年 前 | |
| succeed | 3 年 前 | |
| user-manual | 3 年 前 | |
| Tests.hs | 3 年 前 | |
|
Nils Anders Danielsson
edd8334381
[ #5427 ] Removed support for subtyping for erasure and irrelevance.
|
3 年 前 | |
|---|---|---|
| .. | ||
| fail | 3 年 前 | |
| succeed | 3 年 前 | |
| user-manual | 3 年 前 | |
| Tests.hs | 3 年 前 | |