Skip to main content
Code Golf
univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 8 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
1,659
reputation
171k
reached
25
answers
9
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
1
gold badge
14
silver badges
16
bronze badges
Top tags
View all tags
13
Score
24
Posts
71
Posts %
9
Score
4
Posts
12
Posts %
7
Score
4
Posts
12
Posts %
6
Score
7
Posts
21
Posts %
3
Score
5
Posts
15
Posts %
3
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
question
86
Shortest code to throw SIGILL
Nov 20, 2016
answer
8
Showcase of Languages
May 4, 2016
answer
6
Showcase of Languages
May 5, 2016
answer
5
Make a long type signature
Mar 24, 2019
question
4
Write a fast-growing assembly function
Apr 25, 2021
question
3
Hello... eh, who?
Apr 23, 2017
question
2
The fastest square root calculator
Jul 17, 2016
answer
2
If a program terminates and there is no one to see it, does it halt?
Jun 25, 2016
answer
2
Simple cat program
Jul 11, 2016
answer
2
PPCG Jeopardy: Cops
Nov 19, 2016
Top network posts
View all network posts
13
Strength of "Cofinite Choice"
7
Elementary proof of "generalized reverse Bernoulli inequality"
6
Simple proof that the Catalan numbers are integers
5
When does classical logic speed up arithmetic?
5
Isometry between vector spaces with different dimensions