StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Induction on a datatype with non-uniform type parameters produces ill-typed terms
Author | Votes | Δ |
---|---|---|
Li-yao Xia | 4 | 0.00 |
Last visited: Oct 21, 2019, 3:17:49 PM