My name is Forest Belton. I'm a software engineer interested in many things,
type theory and the
of mathematics. My current and past projects are available
Some of my recent posts are:
For older posts, please see the archives.
An RSS feed for this site is available here.