StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why do function composition and application have a dependent implementation in Agda?
| Author | Votes | Δ |
|---|---|---|
| András Kovács | 4 | +0.94 |
| Sassa NF | 0 | -0.94 |
Last visited: May 11, 2019, 11:16:05 PM