StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Shersh

Rating
1499.45 (3,782,380th)

Reputation
5,668 (28,947th)

Page: 1 2 3

Title	Δ
Parsec start-of-row pattern?	-2.87
Build haskell stack tests without running	0.00
How to constraint input type and output type to be the same?	+4.39
Can I write a generic function-wrapping function for a Wrapper inte...	0.00
Implementing an interface for a plain old recursive data type	0.00
Pattern matching on Type in Idris	0.00
Foldable IntSet	0.00
How to pretty print record types?	-2.72
How should I read this type syntax?	0.00
Where is the Idris == operator useful?	+0.02
When (exactly) can equality be proposed between different types usi...	0.00
Why in Haskell 0^0 == 1?	-2.68
Haskell: Monad transformers and global state	0.00
How to pass a function as argument to a generated Happy parser?	+4.03
Constraining a record type in Idris	0.00
Is there a way to shorten this deriving clause?	0.00
Idris REPL: creating function	0.00
LTS versions installed by stack	0.00
What does instance mean in Haskell?	-3.47
In Idris, how do I extract a proof from a So type?	-1.70
Inf value is automatically forced after pattern matching	-0.29
Silly duplicated record fields error	0.00
Why doesn't equality involving "mod" not typecheck in...	0.00
How to write map/fmap analogue (a->b) -> F m a -> F m b	0.00
How to conditionally parse JSON based on settings in a Reader envir...	0.00
Is it possible to represent Set as Tree in Haskell?	-2.83
How to optimize this Haskell code summing up the primes in sublinea...	+4.01
Drivers and Vehicles information Datasets	0.00
Match against type in Haskell typeclass	-3.34
Why doesn't DefaultSignatures allow concrete types?	0.00
Use specialized implementation if a class instance is available	-0.09
How to write an Arbitrary instance for a type that wraps a function?	0.00
Constants in Idris	-3.78
module Network.Socket isn't found in Idris	0.00
Could not find module in nix-shell	0.00
Can I define the general concept of x==y = p(x) == p(y) in Idris?	0.00
how to get a more efficient haskell solution	+2.65
Updating global GHC/i snapshot in Stack	0.00
Why does this Parsec parser enter an infinite loop?	0.00
list of lists in Haskell - How can I seperate the first element of...	+4.29
stack.yaml not pulling in dependency from github	+4.17
Find two elements in a list, order them by their occurence	+2.45
Cont monad shift	+4.36
Mappend (a1,b1) and (a2,b2) into (a1+a2, b1+b2)	-2.94
What are the situations when you can/cannot have a Functor instance...	-3.25
How to write a test for StateT using QuickCheck	0.00
How to properly handle Fin n and Integer when computing dates?	0.00
Prelude.head: empty list in if statement	0.00
How exactly does rewrite work in Idris?	0.00
Idris Dec vs Maybe	0.00