StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

gallais

Rating
1490.69 (4,404,676th)

Reputation
9,342 (16,489th)

Page: 1 2 3 4 ... 6

Title	Δ
Why does this case expression for foldr does not work?	-0.00
OCaml variable, which keeps it value between function calls	0.00
Agda's `rewrite` fails with an error mentioning variable "...	0.00
Using 'unfold' of a Fixpoint inside the recursive step of t...	0.00
Data.AVL.map that changes value type	-0.24
How to deploy an Agda library on Travis CI?	+0.02
How to use type instances in Agda?	0.00
How can I use agda2-mode to generate patterns when I expect to see...	0.00
What should I do if two modules share the same name?	+0.31
type mismatch between m and (minus m 0)	0.00
How to print list as int in OCaml?	-0.48
How can I break `forall i: nat i < S k -> H` in Coq into `i &...	0.00
How to deal with Agda not being sure in whether to generate constru...	0.00
Is there a Monoid equivalent of Bifunctor?	0.00
Table Summarization Haskell	+0.02
Error: Illegal application (Non-functional construction)	0.00
Moving from computable functions to inductive relations	0.00
How can I compare (equality) of two elements of same Set in Coq?	+0.50
How can I split a list in half in coq?	-1.07
Creating many similar newtypes/typeclass instances in Haskell	-1.01
Inductive definition over closed type family	0.00
Sum of list elements and length of list in lambda calculus	0.00
Why are ML/Haskell datatypes useful for defining "languages&qu...	+2.69
Haskell: Couldn't match type ‘[Char]’ with ‘Text’	+0.42
Haskell: Turtle: get a return value out of a Shell	+2.20
Removing duplicate elements in a Seq	+1.03
Plus vs S in a function type	0.00
Coq - how to name an assumption inline	0.00
Coq to OCaml extraction of algebraic types	0.00
Coq coercions and goal matching	0.00
How to pipe stdout/stderr to the stdin of another command in Turtle?	0.00
I want to define a function ‘wordsLength’ that will calculate the l...	+0.52
Evaluating `IO` Actions from REPL	0.00
Proving increasing iota in Coq	0.00
Dependent pattern matching on two values with the same type	+0.02
OCaml: Quicksort - Tail Recursion, infinite loop?	0.00
Why doesn't this Idris snippet typecheck without an explicit ty...	+0.53
Can Idris inline functions that are used as arguments?	0.00
Coq: set default implicit parameters	0.00
Implementing isLast with Idris	0.00
What does an apostrophe in front of a list ( '[Something] ) mea...	+2.53
Coq: what is the difference between an FSet and an MSet?	0.00
Coq best practice: mutual recursion, only one function is structura...	-1.07
Support native recursion	-1.34
How to strengthen induction hypothesis in Coq proof?	0.00
Making Agda reduce an expression in a goal type	0.00
Proving concatenation of language is associative in Agda	0.00
Proving simple inequality in Ssreflect	-1.68
Megaparsec: Not able to parse arithmetic string	-1.45
Understanding unquoteDecl in Agda	0.00