101 reputation
2
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 6 months
seen Nov 18 at 14:24

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


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags

2 Votes Cast

all time   by type  
2 up 0 question
0 down 2 answer