Closed aboeglin closed 3 years ago
First iteration of interfaces that include:
Rework of the type checker to include Kinds and Qualified types in order to allow for Interface implementation.
First iteration of interfaces that include:
Rework of the type checker to include Kinds and Qualified types in order to allow for Interface implementation.