jozefg

United States

jozefg.bitbucket.org

Age: 18

I am a student who enjoys type theory, formal verification, and compilers. I blog about [dys]functional things a lot.

Top Answers
1 2 3 4 5 10