StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Slow type-checking and poor run-time performance with large natural numbers in Idris 1.2.0
| Author | Votes | Δ |
|---|---|---|
| xash | 2 | 0.00 |
Last visited: Sep 22, 2018, 1:03:43 AM