StackRating

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

Alexander Gryzlov

Rating
1500.93 (419,377th) 		Reputation
493 (276,236th)
Page: 1
Title Δ
Idris: Is there a way to reference an abstracted variable in an equ... 0.00
Idris: Proving some contradiction cases 0.00
How to use induction in Idris 1.3.2? 0.00
Does Idris have MaybeT? 0.00
Idris - use same interface instance 0.00
Idris: reconstruct equality after pattern-matching 0.00
Proving theorems about functions with cases -1.85
How to prove things about primitive strings? 0.00
Idris - Eq for enumerated type +4.02
Idris - proving equality of two numbers -1.23
Difficulty applying a proof in Idris 0.00
Programming languages based on linear types? 0.00