I blog about mathematics, computer science, and computers. Topics I am interested in include the following:

  • category theory
  • logic
  • type theory
  • set theory
  • functional programming
  • functional reactive programming
  • dependent types
  • TeX
  • Vim
  • Unicode

When replying to another comment, please press that comment’s “Reply” button.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s