StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

RKS

Rating
1496.35 (4,054,027th)

Reputation
169 (514,160th)

Page: 1

Title	Δ
How to use absurd/void in idris elaboration	0.00
Why do Maybe/Optional types use a Just/Some type instead of the act...	-2.53
Equality of values doesn't carry over to types depending on tho...	+0.28
Chaining Effects in Idris	0.00
Diamond inheritance and the Common Lisp Object System	-1.40