StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

effectfully

Rating
1498.40 (3,854,998th)

Reputation
10,544 (14,356th)

Page: 1 2 3 4 ... 6

Title	Δ
How do I enter '·' (middle dot) in agda-mode?	0.00
Why is Monad of sort Set1?	0.00
Equality in Agda - irrelevant arguments	0.00
Difference between Haskell and Idris: Reflection of Runtime/Compile...	-0.97
Comparing functions' encodings in Haskell	-1.51
x != y of type Y when checking that the pattern p(y) has type Z	0.00
Are side effects everything that cannot be found in a pure function?	+0.37
Handling substitutions of mutually defined types with Agda's st...	0.00
Separation of Concerns: when is it best to disassociate semantics f...	0.00
Yellow highlight in Agda	0.00
Is it possible to randomly generate theorems that are arbitrarily d...	+0.06
How to get last items of infinite list concatenated with finite lis...	-1.86
Total real-time persistent queues	0.00
Agda: How to infer proof of _≤_ (or, how to implement a binary sear...	0.00
Loading Standard Library of Agda	0.00
Proving `T b` when `b` is already matched on	+2.76
How to reverse a HVect in Idris?	-0.32
Types are erased before run time	0.00
Getting to terms with Lift and Setω, and variable occurrences in ex...	0.00
Haskell Deriving Mechanism for Agda	+0.53
Are there benefits of strong typing besides safety?	-0.58
Realising level polymorphic subsets within records	0.00
What is the generalisation of unzip?	+2.60
Inference rules for subsequence order	0.00
Lookup on an argument of a concatenation is just lookup on the whol...	0.00
Haskell: apply a polymorphic function twice	+0.46
How to implement Floyd's Hare and Tortoise algorithm in Agda?	0.00
Haskell ways to the 3n+1 challenge	-1.63
Haskell All possible partitions of a list	0.00
How to prove that the defining equations of the recursor for N hold...	0.00
Thue-Morse Sequence in one Line of Haskell	0.00
Basic Haskell Recursive Function	-0.48
Reading from file list of chars or list of ints	+1.97
Recursively adding to binary tree	0.00
Is it possible to type a variadic function in Haskell?	-1.33
Haskell list monad looping	-1.31
bind a monadic value (m2 a) inside some other monad m1	+0.43
Distributivity of `subst`	0.00
Tricky factorial in Haskell	+1.92
How to manually infer the type of '(.) . (.) . (.)'?	-1.73
Equality of records in Agda	0.00
What kind of data structure is a monad?	+1.93
how to interpret REL in agda	+0.45
How to construct a possibly nonempty Set in Agda	0.00
Is it possible to prove the existence of the category of categories...	0.00
Combining (a -> Maybe a) and (a -> a) functions	+0.56
How to encode actions that take monadic arguments with free (or fre...	0.00
Summing an Integer Tree (Haskell)	+2.35
Haskell Sections in Agda	0.00
Decidability of propositional equaility	0.00