Theoretical Computer Science
pigworker's user avatar
pigworker's user avatar
pigworker's user avatar
pigworker
  • Member for 10 years, 8 months
  • Last seen more than 2 years ago
Profile Activity
Stats
506
reputation
4k
reached
1
answer
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
7
bronze badges
Top tags
40
Score
1
Posts
100
Posts %
40
Score
1
Posts
100
Posts %
40
Score
1
Posts
100
Posts %
40
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
40
What is the logarithm or root operation in type-space?
Mar 25, 2013
Top network posts
View all network posts
226
Why not be dependently typed?
167
What is () in Haskell, exactly?
129
What is indexed monad?
125
Applicatives compose, monads don't
116
Zipper Comonads, Generically

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.