7,472 reputation
22639
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 11 months
seen 15 mins ago

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