StackRating

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

How does one prove a type of the form (a | b) in agda?

Author Votes Δ
effectfully 3 +4.00
effectfully 2 -2.67
Last visited: Apr 27, 2015, 9:51:22 PM