StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
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