StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is it possible to ensure that two GADT type variables are the same without dependent types?
Author | Votes | Δ |
---|---|---|
Benjamin Hodgson | 6 | +2.20 |
luqui | 2 | -2.20 |
Last visited: Sep 2, 2018, 6:42:41 AM