Code Golf
Profile Activity
Meta user
Network profile
1,487
reputation
1
9
15

univalence

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

25
answers
8
questions
~145k
people reached
  • logicandtypes.org
  • Member for 4 years, 11 months
  • 132 profile views
  • Last seen Apr 10 at 18:05

Communities (16)

Top network posts

Top tags (26)

Score 12
Posts 24
Posts % 73
Score 6
Posts 7
Score 5
Posts 3
Score 4
Posts 4
Score 3
Posts 3
Score 2
Posts 5
View all tags →

Top posts (33)

All Questions Answers
Votes Newest
81 Shortest code to throw SIGILL Nov 20 '16
8 Showcase of Languages May 4 '16
6 Showcase of Languages May 5 '16
3 Make a long type signature Mar 24 '19
2 PPCG Jeopardy: Cops Nov 19 '16
2 “DDoouubbllee ssppeeaakk!!” Aug 4 '19
2 Simple cat program Jul 11 '16
2 Hello… eh, who? Apr 23 '17
2 Who committed most? Jul 16 '17
1 The fastest square root calculator Jul 17 '16
View all questions and answers →

Badges (25)

Gold

1

Rarest

Silver

9

Rarest

Bronze

15

Rarest

View all badges →

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.