Code Golf
Profile Activity
Main user
Network profile
1,477
reputation
4
5

univalence

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

3
answers
0
questions
0
people reached
  • logicandtypes.org
  • Member for 4 years, 10 months
  • 0 profile views
  • Last seen Oct 27 '19 at 14:49

Communities (16)

Top network posts

Top tags (2)

Score 1
Posts 3
Score 1
Posts 3

Top posts (3)

All Questions Answers
Votes Newest
1 Sandbox for Proposed Challenges Dec 10 '17
0 Sandbox for Proposed Challenges Mar 25 '19
0 Sandbox for Proposed Challenges Dec 11 '16

Badges (9)

Gold

—

Silver

4

Rarest

Bronze

5

Rarest

View all badges →