Welcome!

Welcome to the personal web page of Chris Smith. I am a software developer by profession; a constant student of programming languages, mathematics, type theory, and logic; a developer of some quite minor open source software; involved in various leisure, political, religious, and educational endeavors, and a very occasional blogger.

This web site is a compendium of a variety of things that I am doing, or have done. Use the links on the menu to look around. Enjoy!