Anonymous
Login
Signup for a new account
2024-11-22 04:02 AEDT
My View
View Issues
Change Log
Roadmap
View Revisions: Note 657
[
Back to Issue
]
Summary
0000323: Matching on adts makes and instantiation state subtyping is impossible.
