StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to write a safe `length` function to a `Vec` in Agda?
| Author | Votes | Δ |
|---|---|---|
| Rodrigo Ribeiro | 6 | +4.09 |
| Cactus | 5 | +0.10 |
| Thorsten Altenkirch | -1 | -3.58 |
Last visited: Feb 11, 2018, 8:38:02 PM