259
reputation
1
6

univalence

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

1
answer
6
questions
~520
people reached
  • Member for 2 years, 5 months
  • 38 profile views
  • Last seen May 14 at 10:54

Top tags (13)

Score 0
Posts 4
Posts % 57
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (7)

Badges (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest