StackRating

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

Rodrigo Ribeiro

Rating
1519.14 (33,721st) 		Reputation
2,153 (78,196th)
Page: 1
Title Δ
How to write a safe `length` function to a `Vec` in Agda? +4.09
Generating only well-typed terms when testing semantics using PLT-R... 0.00
How to rewrite a goal using function definition? +3.87
Safe Record field query -3.27
How to use name "type" for a key field? +3.93
Lifting a type to higher universe 0.00
parenthesis in Haskell functions +3.53
Structural Induction - (zip xs ys)!!n = (xs!!n, ys!!n) 0.00
Multiply all numbers in a list - Haskell +3.94
How can I convince Coq that my function is in fact recursive? 0.00
Dependent types 0.00
How do I put a element n times in a list without using the replicat... -4.23
Haskell foldr results in type error while foldl doesn't -0.39
Small Language Parse Stuck in Loop 0.00
Recursive partial functions in Coq -0.04
first elements of each pair from a list +4.66
How do I read numbers from a file, sum them and print them in Haske... +0.45
Haskell why is [fst,snd] :: [(a,a) -> a] 0.00
Error when using guards in Haskell 0.00
How to simplify A + 0 > 0 into A > 0? +3.90
Why Left Identity over "Addition" is trivial proof but Ri... 0.00
Construct Sets in Coq 0.00
Why is FP better than Imperative? (Category Theory) 0.00
Is it possible to write list functions on the simply typed lambda c... 0.00
Type error evaluating user input: IO () with actual type [[Char]].... -0.24
how to interpret REL in agda -3.02
GHC 7.10.3: Non type-variable argument in the constraint (Use Flexi... 0.00
Using "rewrite [hypothesis with implication]" 0.00
The useful application of Functor's Product and Coproduct -3.47
How to automatically prove simple equality of real numbers in Coq? 0.00
What is the purpose of the LANGUAGE keyword in Haskell? 0.00
How can I prove that (eqb x y) means x = y +3.81
Formalization of Kleene star idempotence in regular expressions 0.00
Haskell function that alternatively applies input unary functions -3.82
Haskell - Use induction to prove an implication 0.00
Typed abstract syntax and DSL design in Haskell +5.42
Strange error message in Idris 0.00
Impossible patterns in Idris 0.00
Is there a support for regular expression in Idris? 0.00
Problems with a conductive proof 0.00