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	Δ
Proving that concatenating two increasing lists produces an increas...	0.00
Theorem Proving in Idris	-3.77
Proving an index is within list bounds given (index + 1) is within...	0.00
How to make use of information known about this function type in Coq	+2.74
Can the compiler find proofs implicitly in Idris?	0.00
Function only works when flipped	0.00
prioritize functions from current module if name collision occurs	0.00
Type of nonzero integers in Idris?	0.00
Naming return value in Idris?	0.00
Idris - Can I express that two type parameters are equal in a patte...	0.00
Proof inside nested constructor of recursive type	0.00
DPair indexed over Fin	0.00
Weird syntax error	0.00
Idris: arithmetics for bounded Double	0.00
Idris: function works with Nat parameter and fails type checking wi...	0.00
How can I recursively fill an Idris character structure with depend...	+4.56
In Idris, can IO happen in any universe?	0.00
Define Equality of Lists Function	+0.54
Determine if Sum of Vect n Nat's Evenly Divides 5?	0.00
How to Compare Types for Equality?	0.00
Function to Determine if Nat is Divisible by 5 at Compile-Time	0.00
How to determine all sub-dimensions of a HVect?	0.00
How to reverse a HVect in Idris?	+3.87
Using rewrite for my own equality?	0.00
Why doesn't this use of Elem typecheck?	0.00
Is there a modulo function in idris?	0.00
Conditions for omitting type declarations in a where clause	0.00
How does "There" work in the idris tutorial, page 11, sec...	0.00
type mismatch between inferred value and length of vector	0.00
concat in zipWith "no such variable a"	0.00