StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why does Adam Chlipala use left-associated nested tuples to represent Ltac lists in CPDT?
| Author | Votes | Δ |
|---|---|---|
| Carl Patenaude Poulin | 3 | +4.43 |
| Li-yao Xia | 2 | -0.39 |
Last visited: Jan 12, 2019, 11:27:09 PM