StackRating

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

Can I define the general concept of x==y = p(x) == p(y) in Idris?

Author Votes Δ
Shersh 4 0.00
Last visited: Aug 14, 2017, 12:03:36 AM