StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
TypeLits or Singletons: Promoting an `Integer` to `KnownNat` (`Nat`) at Runtime
| Author | Votes | Δ |
|---|---|---|
| Alec | 7 | 0.00 |
Last visited: Jan 13, 2018, 11:26:58 AM