StackRating

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

Idris function to construct empty `List a` where `a` is bound to an instance of `Ord`?

Author Votes Δ
Edwin Brady 5 +4.10
pdxleif 2 +0.18
max taldykin 0 -4.29
Last visited: May 1, 2015, 8:40:51 PM