StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Dependent Types: How is the dependent pair type analogous to a disjoint union?
Author | Votes | Δ |
---|---|---|
Petr | 21 | +1.38 |
J. Abrahamson | 8 | +0.12 |
Dominique Devriese | 8 | +1.94 |
Joachim Breitner | 7 | -0.06 |
Reid Barton | 0 | -3.14 |
Sassa NF | 0 | -0.91 |
Last visited: Apr 27, 2015, 9:25:11 PM