9,315 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 194
Posts 21
Posts % 26
Score 174
Posts 12
Score 142
Posts 17
Score 106
Posts 7
Score 95
Posts 15
Score 58
Posts 8

Top Posts (82) All Questions Answers | Votes Newest

View all questions and answers

Badges (79)

Gold 2

Rarest

Silver 33

Rarest

Bronze 44

Rarest