StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to map Type to Value in Idris/Agda/Coq?
| Author | Votes | Δ |
|---|---|---|
| gallais | 10 | +0.50 |
| luochen1990 | 1 | -4.03 |
Last visited: May 3, 2018, 6:57:13 PM