StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Irrelevant implicits: Why doesn't agda infer this proof?
Author
Votes
Δ
Saizan
3
+4.03
Jesper
1
-4.03
Last visited: Jul 1, 2017, 9:44:46 AM