StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Currying with dependent types in agda
| Author | Votes | Δ |
|---|---|---|
| Vitus | 4 | +3.15 |
| effectfully | 2 | +0.35 |
| asr | 0 | -3.51 |
Last visited: May 1, 2015, 7:41:31 PM