Code Golf
user avatar
user avatar
user avatar
univalence
  • Member for 6 years, 3 months
  • Last seen more than 1 year ago
Profile Activity
Stats
1,613
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.
6
silver badges
6
bronze badges
Top tags
1
Score
4
Posts
100
Posts %
1
Score
4
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
1
Sandbox for Proposed Challenges
Dec 10, 2017
answer
0
Sandbox for Proposed Challenges
Mar 25, 2019
answer
0
Sandbox for Proposed Challenges
Apr 23, 2021
answer
0
Sandbox for Proposed Challenges
Dec 11, 2016
Top network posts
View all network posts
85
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.