My name is John Wiegley (the last name pronounced exactly as the word “wiggly”, two syllables). My hobbies include Haskell, Coq and learning more about abstract math and category theory. I can be reached via the following services:
My name is John Wiegley (the last name pronounced exactly as the word “wiggly”, two syllables). My hobbies include Haskell, Coq and learning more about abstract math and category theory. I can be reached via the following services: