StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How can I recursively fill an Idris character structure with dependent pairs using 'getChar'
Last visited: Aug 26, 2016, 2:34:25 PM