Cooool! Always wondered if you could bootstrap a dependently typed language via Forth!
This Tweet was deleted by the Tweet author. Learn more
Conversation
This Tweet was deleted by the Tweet author. Learn more
Like, I think the exercise would be neat from a software preservation perspective… perhaps 🤔
This Tweet was deleted by the Tweet author. Learn more
Replying to
Yeah, that's kind of what I was thinking! Just lack the skills to pull it off haha