StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

effectfully

Rating
1498.40 (3,854,998th)

Reputation
10,544 (14,356th)

Page: 1 ... 4 5 6

Title	Δ
Currying with dependent types in agda	+0.35
Can dependent types abstract over n-arg functions?	+0.23
Stuck on proof with heterogeneous equality	-3.29
Why is typecase a bad thing?	-0.15
Cong, subst and equality type in dependently typed programming lang...	0.00
Formalizing arithmetic prroofs using Agda	+4.15
Implicit length arguments in fixed-length-vector-functions in Agda	0.00
How to use dependent pairs	0.00