Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Code Golf
user avatar
user avatar
user avatar
univalence
  • Member for 6 years
  • Last seen more than a month ago
Profile Activity
Stats
1,593
reputation
155k
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
11
silver badges
16
bronze badges
Top tags
View all tags
13
Score
24
Posts
71
Posts %
7
Score
4
Posts
12
Posts %
6
Score
7
Posts
21
Posts %
5
Score
4
Posts
12
Posts %
3
Score
5
Posts
15
Posts %
3
Score
4
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
84
Shortest code to throw SIGILL
Nov 20, 2016
answer
8
Showcase of Languages
May 4, 2016
answer
6
Showcase of Languages
May 5, 2016
question
3
Hello... eh, who?
Apr 23, 2017
question
3
Write a fast-growing assembly function
Apr 25, 2021
answer
3
Make a long type signature
Mar 24, 2019
answer
2
PPCG Jeopardy: Cops
Nov 19, 2016
answer
2
"DDoouubbllee ssppeeaakk!!"
Aug 4, 2019
answer
2
Largest Number Printable
Aug 5, 2019
question
2
The fastest square root calculator
Jul 17, 2016
Top network posts
View all network posts
7
Strength of "Cofinite Choice"
5
When does classical logic speed up arithmetic?
5
Simple proof that the Catalan numbers are integers

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.