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 година | |