Closed EduardoRFS closed 1 year ago
Simplify again the typed tree.
The GADTs in the typed tree are not used anymore and as such can be removed.
This is probably a temporary change as GADTs will likely be used again for typing of self, but this is an improvement nonetheless."
Goals
Simplify again the typed tree.
Context
The GADTs in the typed tree are not used anymore and as such can be removed.
This is probably a temporary change as GADTs will likely be used again for typing of self, but this is an improvement nonetheless."
Related
106