StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Generating run time proofs with type predicates in Idris
| Author | Votes | Δ |
|---|---|---|
| gelisam | 7 | 0.00 |
Last visited: Apr 28, 2015, 12:00:43 PM
| Author | Votes | Δ |
|---|---|---|
| gelisam | 7 | 0.00 |