StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to convince ghc that type level addition is commutative (to implement dependently typed rever...
| Author | Votes | Δ |
|---|---|---|
| idontgetoutmuch | 3 | +3.97 |
| effectfully | 2 | -2.63 |
Last visited: Apr 29, 2015, 9:56:19 AM