Skip to main content
Theoretical Computer Science
pigworker's user avatar
pigworker's user avatar
pigworker's user avatar
pigworker
  • Member for 11 years, 5 months
  • Last seen more than 3 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
answer
40
What is the logarithm or root operation in type-space?
Mar 25, 2013
Top network posts
View all network posts
228
Why not be dependently typed?
168
What is () in Haskell, exactly?
131
What is indexed monad?
126
Applicatives compose, monads don't
117
Zipper Comonads, Generically