StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
In Idris, how to add 1 to a Fin until a "max" is Reached
| Author | Votes | Δ |
|---|---|---|
| Julian Kniephoff | 4 | +4.40 |
| Cactus | 3 | +0.73 |
| Anton Trunov | 2 | -0.76 |
| Benjamin Hodgson | 0 | -1.05 |
Last visited: Oct 9, 2016, 3:17:45 PM