8,490 reputation
22945
bio website jozefg.bitbucket.org
location United States
age 19
visits member for 3 years, 4 months
seen 2 hours ago

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