StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How to convince the Agda compiler that an expression terminates?
Author
Votes
Δ
Sassa NF
1
0.00
rampion
0
0.00
Last visited: Jan 28, 2020, 3:24:22 AM