Design Smol MVP - Githubissues

teikalang / teika

MIT License

318 stars 7 forks source link

Design Smol MVP #183

Open EduardoRFS opened 9 months ago

EduardoRFS commented 9 months ago

After working on #104 it was made clear that Teika without linearity is a completely different language and as I have a workshop to give on Teika, I decided to move to the MVP.

Goals

[ ] Linear CoC
[ ] Self Types
[ ] Propagation
[ ] Modules
[ ] Primitives