How I wrote my own "proper" programming language

I wrote my own “proper” programming language (2020)

An Accessible Introduction to Type Theory and Implementing a Type Checker