135
reputation
2

univalence

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

1
answer
0
questions
~198
people reached
  • Member for 4 years, 7 months
  • 3 profile views
  • Last seen Nov 4 at 22:03

Top tags (3)

Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (1)

Badges (2)

Gold

Silver

Bronze

2

Rarest