StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Answers and rating deltas for

In Idris, how to add 1 to a Fin until a "max" is Reached

Author Votes Δ
Julian Kniephoff 4 +4.40
Cactus 3 +0.73
Anton Trunov 2 -0.76
Benjamin Hodgson 0 -1.05
Last visited: Oct 9, 2016, 3:17:45 PM