Code Golf
univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 7 years, 7 months
  • Last seen more than 2 years ago
Profile Activity
Stats
1,653
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.
7
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
86
Shortest code to throw SIGILL
11
Strength of "Cofinite Choice"
8
Showcase of Languages
7
Elementary proof of "generalized reverse Bernoulli inequality"
6
Showcase of Languages

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.