StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Defined a type family (++); any way to prove that (vs ++ us) ~ '[] implies (vs ~ '[]) and...
| Author | Votes | Δ |
|---|---|---|
| effectfully | 7 | +0.54 |
| mniip | 4 | -3.72 |
Last visited: Nov 16, 2015, 1:37:10 AM