StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

xash

Rating
1513.37 (51,216th)

Reputation
2,494 (67,667th)

Page: 1 2

Title	Δ
Is there an idiomatic way to print a vector(list) or a character st...	-1.69
Idris, typed addition (incrementation)	0.00
Smart constructor for tuple in Idris	+3.76
Type checking for Vectors in Idris	0.00
Idris: proof about concatenation of vectors	0.00
Idris pass proof to a function that arguments are LTE	0.00
How to convince Idris in vector length	0.00
How can I create a function for casting values: x `as` T = y?	0.00
Proving totality when doing induction on single constructor argument	0.00
Simple equality proofs on lists in idris (prooving xs ++ [x] = ys +...	0.00
Invoking (-) two times on different Nat variables within the same e...	0.00
Can I extract a proof of bounds from an enumeration expression?	0.00
Why does Idris give me Type mismatch error for the following code?	0.00
Compiler introducing extra interface requirements when using functi...	0.00
Idris proof with simplification causing "type mismatch" e...	0.00
Equivalence of two ways of reversing a list	0.00
is there a way to rewrite and simplify `decEq x x`?	0.00
Piping output to a bash function with multiple inputs	-0.87
Convince Idris about recursive call totality	0.00
Create simple functions with dependent types	0.00
type of Idris chop	0.00
Pair equality on components	+4.26
How do you operate on dependent pairs in a proof?	0.00
Why does 'neutral' not normalize to '[]' in the Lis...	0.00
Use C functions in Idris	0.00
Trying to bring implicit argument into scope on the left side of a...	0.00
Idris won't expand `mult` in proof of exponent law	0.00
Idris Dependent Pairs: Unexpected behavior between compiled program...	0.00
Type error in an Idris exercise	0.00
How to prove ((x :: xs) = (y :: ys)) given (x = y) & (xs = ys)	0.00
Type functions at run-time in Idris	0.00
bind to abstract types for c struct with idris	0.00
Idris - create decidable properties/ proofs in general for interfaces	0.00
Slow type-checking and poor run-time performance with large natural...	0.00
What is the equivalent of propositional not equals?	0.00
How can I use a proof I've made in Idris to inform the compiler...	0.00
How to read char without echo	0.00
Constructing proofs for a decision function in Idris	0.00
How does one use mutually defined Streams in Idris?	0.00
Why rewrite does not change type of expression in this case?	+3.75
Idris - map function on custom dependent data type fails	0.00
Proving `weaken` doesn't change the value of a number	-4.31
How to define a pair type in Idris that only holds certain combinat...	+3.93
Why does guard need the Ord typeclass in Idris?	0.00
How to write a simple list-based quicksort in Idris?	-3.40
Why does Idris conflate a value name with a type argument name that...	0.00
Loading and storing a file at compile time with a type provider	0.00
Can Idris support row-polymorphism?	0.00
Type constructor with no parameters causing "Can't infer a...	0.00
Can't index into a list constructed by a recursive function	0.00