582 reputation
3 10

jozefg

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

Top Tags (17)

Score 13
Posts 3
Posts % 27
Score 10
Posts 4
Score 9
Posts 4
Score 7
Posts 2
Score 7
Posts 1
Score 1
Posts 4

Top Posts (11) All Questions Answers | Votes Newest

View all questions and answers

Badges (13)

Gold
Silver 3

Rarest

Bronze 10

Rarest