jozefg

United States

jozefg.bitbucket.org

Age: 18

I am a student who enjoys type theory, formal verification, and compilers. Mostly I write Haskell, sometimes Agda, Coq, or C.

I occasionally can be convinced to do some abstract algebra or category theory as well.

Top Answers
1 2 3 4 5 9