Izaak Meckler

About me

I recently graduated undergrad in math and computer science at the University of Chicago. This blog will likely be mostly about math (type theory, logic, geometry) and OCaml and Haskell programming.

Here are some of my places around the internet

  1. GitHub
  2. Twitter