Skip to main content
MathOverflow
Paolo Capriotti's user avatar
Paolo Capriotti's user avatar
Paolo Capriotti's user avatar
Paolo Capriotti
  • Member for 14 years, 8 months
  • Last seen more than 1 year ago
Profile Activity
Stats
172
reputation
583
reached
0
answers
1
question
Communities
View all
About

Senior Haskell Developer at Wire.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
7
$\Pi$, $\Sigma$, and identity types without $\eta$ in comprehension categories
Jul 7, 2013
Top network posts
View all network posts
92
git selective revert local changes from a file
23
Is $PROGRAM_NAME same as $0 in ruby?
22
A function similar to (>>=) but which returns a different monad
19
What's the purpose of an anonymous struct in Ruby?
15
Changing a color of a frame in QLineEdit