815 reputation
5 15

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 21
Posts 5
Posts % 38
Score 21
Posts 4
Score 14
Posts 3
Score 11
Posts 4
Score 9
Posts 1
Score 8
Posts 1

Top Posts (13) All Questions Answers | Votes Newest

View all questions and answers

Badges (20)

Gold
Silver 5

Rarest

Bronze 15

Rarest