Brendan Zabarauskas on Twitter: "@typeswitch Cooool! Always wondered if you could bootstrap a dependently typed language via Forth!" / Twitter

This Tweet was deleted by the Tweet author. Learn more

Replying to

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

Replying to

and

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

This Tweet was deleted by the Tweet author. Learn more

Show replies

Conversation