ireneista@irenes.space ("Irenes (many)") wrote:
and then we'll... have a self-bootstrapping, self-hosting compiler, and we can start writing our parse theory + type theory experiments in it. that's gonna feel pretty great.
(right now it has no parser and no type system; those are intended to be an upper layer atop this)