StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Can Idris infer indices in types of top-level constants?
| Author | Votes | Δ |
|---|---|---|
| Boyd Stephen Smith Jr. | 1 | 0.00 |
Last visited: Jan 1, 2018, 12:01:29 AM