StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Non-tedious AST transformation proofs in Agda
| Author | Votes | Δ |
|---|---|---|
| effectfully | 4 | +4.00 |
| effectfully | 1 | -4.00 |
Last visited: May 1, 2015, 8:08:05 PM