9,335 reputation
2 33 44

jozefg

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

Top Tags (98)

Score 195
Posts 21
Posts % 26
Score 174
Posts 12
Score 143
Posts 17
Score 107
Posts 7
Score 96
Posts 15
Score 58
Posts 8

Top Posts (81) All Questions Answers | Votes Newest

View all questions and answers

Badges (79)

Gold 2

Rarest

Silver 33

Rarest

Bronze 44

Rarest