Code Golf
univalence
Profile Activity
Stats
1,537
reputation
0
reached
4
answers
0
questions
About

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

Communities (16)

Top network posts

This user doesn’t have any gold badges yet.
5
silver badges
6
bronze badges
View all badges

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

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.