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 ... 9

Title	Δ
Role of functional dependency in `Unfoldable` typeclass of Haskell...	0.00
Why is this mutually recursive data definition not total and how ca...	0.00
Type instance and phantom type	0.00
Haskell AST Incomplete Location Information	0.00
good way to convert between ad-hoc polymorphic functions and parame...	+1.62
How to do pattern match in haskell options.applicative for record t...	0.00
In Idris, how to add 1 to a Fin until a "max" is Reached	+0.73
In Haskell, how could I embed one Free monad in another one?	-0.53
Using Maybe and Writer together	+0.21
confused about lazy evaluation in Idris	0.00
Proofs about functions that depend on the ordering of their alterna...	-0.81
Is it possible to create a type-level representation of generic ADTs?	-2.40
inferring type class constraint when using associated type families	0.00
Find function source in Haskell (workflow)	-0.64
What is required to extend an Untyped Lambda calculus implementatio...	+1.31
More on type safe lookup for heterogeneous lists in Haskell	0.00
Struggling with rewrite tactic in Idris	0.00
Servant client with type variable with FromJSON contraint	0.00
why is sortBy so oddly unconstrained, and why no general sortOn	-2.27
What is the intuitive meaning of "join"?	+0.75
Idris non-trivial type computation for tensor indexing	+1.63
Haskell: Show recursive data type	0.00
Parse Text input and get Text output (not String) with Parsec3	0.00
Is there a way to chain functions like withCString?	+1.18
How can I recursively fill an Idris character structure with depend...	-0.57
Adding Syntactic Sugar to Make Prismatic Schema Look Like Core.Type...	0.00
How can I call assembly function from C code?	0.00
Limiting the Types that a Type Paramater Can Take On in Data Declar...	+2.43
What does the operators like I# and +# mean in GHC.Num module?	0.00
Type of anonymous identity function in Idris	0.00
Can XOR be expressed using SKI combinators?	0.00
Comparison of custom data type with parameters	+0.36
List Equality w/ `cong`	0.00
Define Equality of Lists Function	-0.07
How do we convert boolean to string in Haskell	+0.77
Deciphering DataKind type promotion in Servant library	-1.99
De Morgan's Laws in Haskell via the Curry-Howard Correspondence	+1.89
What does it mean if macros in a Lisp are monadic?	0.00
In Haskell, how to parse an untyped AST to a typed one based on a G...	+2.01
Unwrapping the STT monad in a transformer stack?	0.00
How to use type constructor in infix form	-2.07
Constraining a function argument in an interface	0.00
Is list a monad and comonad?	0.00
How to redirect requests from domain.com to www.domain in Wai/Warp...	0.00
Nested Pairs Exercise	0.00
How to use type-level literal numbers in singletons?	-1.28
Helper Function to Determine if Nat `mod` 5 == 0	0.00
Use ask in an instance for newtype wrapped Reader	0.00
Haskell channelsDemo	0.00
Haskell - depth for each node in binary tree using Reader monad	-2.05