101 reputation
2
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 3 years, 2 months
seen Nov 19 at 17:28

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


This user has not asked any questions