Introduction

For a while now, I’ve been interested in compilers, programming languages, type theory, and things of that sort. I’d like to commit to seriously studying this field and I want a place I can take notes and aggregate information + examples + resources for myself. That last bit is important: for now, this book is for myself. If you happen to stumble upon this somehow, then you’re welcome to browse through, but I make no guarantees whatsoever about the accuracy about the information you will find. It’s essentially just a public notebook.