search

teikalang / teika

MIT License
318 stars 7 forks source link

teika: drop self types #200

Closed EduardoRFS closed 8 months ago

EduardoRFS commented 8 months ago

Goals

Remove self as they're not needed.

Context

Self types are fully subsumed by dependent intersections + mutual recursion, both who will be fully supported by the language MVP.

Related