StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
In Agda is it possible to define a datatype that has equations?
Author
Votes
Δ
Sassa NF
5
+0.58
Cactus
2
-4.68
Last visited: Apr 27, 2015, 9:45:58 PM