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 5 6
Title Δ
Couldn't match expected type in Haskell code that print nested... -3.87
Can any recursive definition be rewritten using foldr? -1.31
Is it possible to use church encodings without breaking equational... +5.54
Haskell cycle a vector -3.04
Can I declare a 'polymorphic' axiom in Coq? 0.00
How to compare Vectors of Nats in Agda +4.08
How do I use the Church encoding for Free Monads? -3.27
Agda: Forming all pairs {(x , y) | x in xs, y in ys} 0.00
Parametrising over "higher-kinded" types in Idris 0.00
Might laziness also mean a value of function depends on context whe... 0.00
Is it possible to evaluate lambda calculus terms efficiently? 0.00
Recursion scheme in Haskell for repeatedly breaking datatypes into... -2.57
Is there any non-trivial code that uses Data.Maybe.Is-just? 0.00
How this is working in agda? 0.00
How to use Logical AND operation between two sets in agda? +0.26
How can i change working of forall in agda? 0.00
Function definition by induction principles in Agda +1.50
Can't write to a Handle 0.00
Why doesn't this haskell type signature work? -3.13
How to disable my custom notation in Coq? -1.76
A simple pi simulation in Haskell - using replicateM 0.00
Transforming a inductive value into an inductive value of another t... 0.00
What is the correct definition of `unfold` for an untagged tree? 0.00
How to define division operator in Agda? -4.09
Why there is no an "Exist" keyword in Haskell for Existen... -1.25
Proof assistant for mathematics only 0.00
Pattern Match on First and Last Items of List +0.08
Haskell (.) for function with multiple operands -2.91
Is there a convenient way to construct larger type level Peano numb... -3.49
Exception: Prelude.head: empty list 0.00
How can I do intros in a different order without using generalize d... +4.15
How to temporarily cast integers to larger sizes in Haskell? -2.77
How can I produce a fixed length of numbers that sum up a given num... -1.57
List based on right Kan extension +4.87
How to duplicate a hypothesis in Coq? -3.93
Coq: keeping information in a match statement 0.00
Showing terminating recursion for cumsum in Coq 0.00
How would you implement a Grid in a functional language? +4.35
Open Type Level Proofs in Haskell/Idris 0.00
bind parser returning wrong type +0.38
Type hierarchy definition in Coq or Agda 0.00
How do I refer to the same type variable in different type annotati... 0.00
How to define abstract types in agda 0.00
What is the correct way to specify a field for a data type that may... -3.85
Confusion over data structures in Haskell -3.48
Is it possible to get hold of free theorems as propositional equali... -3.95
Accepting only one variant of sum type as OCaml function parameter +4.15
Nested dependent pattern-matching produces errors 0.00
coq --- function power definition -3.99
How to use the memoize function in Data.Function.Memoize +0.08