cotalks.dev

Jeremiah Paige - Formalizing a Language

(link)