Conversation

This Tweet was deleted by the Tweet author. Learn more

Cooool! Always wondered if you could bootstrap a dependently typed language via Forth!

Like, I think the exercise would be neat from a software preservation perspective… perhaps 🤔

This Tweet was deleted by the Tweet author. Learn more

Yeah, that's kind of what I was thinking! Just lack the skills to pull it off haha

Replying to

and

So glad you are giving it a go!