770 reputation
4 14

jozefg

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

Top Tags (20)

Score 20
Posts 5
Posts % 38
Score 19
Posts 4
Score 13
Posts 3
Score 11
Posts 4
Score 8
Posts 1
Score 7
Posts 1

Top Posts (13) All Questions Answers | Votes Newest

View all questions and answers

Badges (18)

Gold
Silver 4

Rarest

Bronze 14

Rarest