647 reputation
4 11

jozefg

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

Top Tags (19)

Score 13
Posts 3
Posts % 25
Score 11
Posts 4
Score 11
Posts 3
Score 10
Posts 4
Score 7
Posts 1
Score 4
Posts 1

Top Posts (12) All Questions Answers | Votes Newest

View all questions and answers

Badges (15)

Gold
Silver 4

Rarest

Bronze 11

Rarest