1,537
reputation
1
10
15

univalence
Loading…

I am very interested in languages like Haskell, Agda or idris, and type theory in general

25
answers
9
questions
~148k
people reached
  • Member for 5 years, 3 months
  • 143 profile views
  • Last seen 2 days ago

Top tags (27)

Score 12
Posts 24
Posts % 71
Score 6
Posts 7
Score 6
Posts 4
Score 5
Posts 4
Score 3
Posts 5
Score 3
Posts 4

Top posts (34)

View all questions and answers

Badges (26)

Gold

1

Rarest

Silver

10

Rarest

Bronze

15

Rarest