StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
"Pattern match" and recurse on types in closed type family for type equality proof
Author | Votes | Δ |
---|---|---|
dfeuer | 4 | +2.37 |
Silvio Mayolo | 1 | -2.37 |
Last visited: Jan 1, 2019, 8:55:20 AM