My name is Forest Belton. I'm a software engineer interested in many things, but currently type theory and the foundations of mathematics. My current projects are available on my personal git, while past projects can be found on my GitHub.

Some of my recent posts are:

For older posts, please see the archives.
An RSS feed for this site is available here.