Stats
196
reputation
320
reached
2
answers
0
questions
About

Type theorist and Rust compiler developer. I make q.uiver.app.

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges

Top tags (6)

Score 4
Posts 1
Posts % 50
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1

Top posts (2)