1,487
reputation
1
9
15

univalence

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

25
answers
8
questions
~145k
people reached
  • Member for 4 years, 11 months
  • 132 profile views
  • Last seen Apr 10 at 18:05

Top tags (26)

Score 12
Posts 24
Posts % 73
Score 6
Posts 7
Score 5
Posts 3
Score 4
Posts 4
Score 3
Posts 3
Score 2
Posts 5

Top posts (33)

View all questions and answers

Badges (25)

Gold

1

Rarest

Silver

9

Rarest

Bronze

15

Rarest