StackRating

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

Proving m + (1 + n) == 1+ (m + n) in Dependent Haskell

Author Votes Δ
luqui 10 0.00
Last visited: May 11, 2019, 11:16:05 PM