Code Golf
Profile Activity
Main user
Network profile
1,507
reputation
5
6

univalence

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

4
answers
0
questions
0
people reached

Communities (16)

Top network posts

Top tags (2)

Score 1
Posts 4
Score 1
Posts 4

Top posts (4)

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 Apr 23
0 Sandbox for Proposed Challenges Dec 11 '16

Badges (11)

Gold

—

Silver

5

Rarest

Bronze

6

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.