8,639 reputation
2 30 44

jozefg

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

Top Tags (96)

Score 182
Posts 21
Posts % 26
Score 170
Posts 12
Score 125
Posts 16
Score 89
Posts 7
Score 85
Posts 14
Score 57
Posts 8

Top Posts (81) All Questions Answers | Votes Newest

View all questions and answers

Badges (76)

Gold 2

Rarest

Silver 30

Rarest

Bronze 44

Rarest