Define Smol tree and clean environment for next type checker.
Context
I'm moving towards an MVP for Smol, this will lead to a new set of features, but it will also change the way that propagation and checking works. Namely Smol is also moving to a locally nameless approach, using bidirectional typing and locations are meaningful.
So this PR deletes old files and start again as it is only about a thousand lines of code.
Goals
Define Smol tree and clean environment for next type checker.
Context
I'm moving towards an MVP for Smol, this will lead to a new set of features, but it will also change the way that propagation and checking works. Namely Smol is also moving to a locally nameless approach, using bidirectional typing and locations are meaningful.
So this PR deletes old files and start again as it is only about a thousand lines of code.
Related
184