Code Golf
univalence
  • Member for 5 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
1,545
reputation
0
reached
4
answers
0
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
6
bronze badges
Top tags
1
Score
4
Posts
100
Posts %
1
Score
4
Posts
100
Posts %
Top posts
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 '21
0
Sandbox for Proposed Challenges
Dec 11 '16
Top network posts
View all network posts
83
Shortest code to throw SIGILL
8
Showcase of Languages
7
Strength of "Cofinite Choice"
6
Showcase of Languages
5
When does classical logic speed up arithmetic?

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.