some day i'll have something like a blog here.
expect posts about:
  • why this site has no capital letters on it
  • type theory
  • proof mechanization/automation
  • boring life stuff