StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why does Idris' Refl sometimes not type-check?
| Author | Votes | Δ |
|---|---|---|
| erisco | 6 | 0.00 |
Last visited: Jul 27, 2017, 1:47:45 PM
| Author | Votes | Δ |
|---|---|---|
| erisco | 6 | 0.00 |