StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Cactus

Rating
1542.65 (10,561st) 		Reputation
18,936 (7,293rd)
Page: 1 2 3 4 5 6 7 ... 9
Title Δ
How to require typeclass instance in data definition -0.45
Checking for empty list in Haskell: Is (length list == 0) or (list... +1.56
Writing Haskell function to compute n-th power of a function? 0.00
Understanding `k : Nat ** 5 * k = n` Signature 0.00
Termination function definition (algorithms) 0.00
difference between mapM and forM 0.00
Posting to UI thread -1.18
Good Style of Haskell Fibonacci Function +0.54
How would we take the last value of a list using colon notation? +1.74
What are some types that discriminate between categories? -2.48
Named implementations - Why is @{myOrd} placed before parameters? 0.00
What is the purpose of Church Encoding? 0.00
Can fail take non-String argument? +1.77
Parsec and liftIO, compilation error -0.58
Establish isomorphism between bounded naturals and naturals that sa... 0.00
How to signal failure in trifecta parser +0.43
Haskell: hSetFileSize: invalid argument (Invalid argument) +2.61
Monadic parsing of binary data in Haskell +2.07
Type annotation required on overloaded literals when passed to printf 0.00
Getting a "bad binding form" error in LISP +0.43
Idris parser combinator GADT -0.07
What is the etymology of <*> from Applicative in Haskell? -0.55
Servant combinator doesn't fall through to subsequent alternati... +1.77
SID file format parsing -2.06
How to parse concrete value out of Either type -1.66
Generalization of argument's types -2.40
Parsec: intuit type from parsed string 0.00
Haskell's subset operation doesn't give me all results, onl... 0.00
How write one Function that find out all odd number in Common lisp? +0.43
Purely Applicative Parser using Alternative +0.42
Idris module name collision with 'base' 0.00
Idris module name collision with 'base' 0.00
How can I parse GHC core? 0.00
How to create a Mk instance for GHC.Generics.U1? 0.00
remove zero from infinite float list +2.50
How to write the related functions for this GHC type families examp... -1.99
How to use Haskell generics to populate a record? 0.00
error: Equations for ‘det’ have different numbers of arguments 0.00
Why can't I define `Eq` using only indices in Agda? 0.00
Way on generating a truth table for arbitrary number of variables 0.00
Idris interactive prover won't perform rewrite on an assumption 0.00
Haskell speed of pre-defined function vs copying source code 0.00
Getting line number information in the Semantic Analysis Phase (usi... 0.00
Appending monad +0.43
alternative permutation of two lists 0.00
More Descriptive Error Messages From GHC 0.00
Haskell: memoization 0.00
Haskell similar types copy-paste elimination in case 0.00
how to interpret REL in agda +0.03
lift Either to ExceptT automatically 0.00