StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
mudri
|
Rating 1503.76 (296,040th) |
Reputation 283 (419,402nd) |
Page: 1
| Title | Δ |
|---|---|
| How does agda pattern match with same typed constructors? | 0.00 |
| Idris proof by definition | +3.76 |
| Prove So (0 < m) -> (n ** m = S n) | 0.00 |