StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is
| Author | Votes | Δ |
|---|---|---|
| András Kovács | 12 | 0.00 |
Last visited: Aug 25, 2017, 8:05:33 AM