482 reputation
2 10

jozefg

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

Top Tags (14)

Score 13
Posts 3
Posts % 38
Score 9
Posts 3
Score 7
Posts 2
Score 7
Posts 1
Score 2
Posts 1
Score 1
Posts 4

Top Posts (8) All Questions Answers | Votes Newest

Badges (12)

Gold
Silver 2

Rarest

Bronze 10

Rarest