StackRating

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

Jannis Limperg

Rating
1503.07 (326,544th) 		Reputation
310 (401,496th)
Page: 1
Title Δ
Purpose of anonymous modules in Agda 0.00
Is this the right way to use HeterogeneousEquality in Agda? -0.16
Does injectivity of Type product make sense? -0.11
Agda – difference between type args on the left and right side of t... 0.00
CoNat : proving that 0 is neutral to the left 0.00
Meaning of Agda level error message: ... : .Agda.Primitive.Level 0.00
Agda: rewriting instead of explicit coercion in type definition? 0.00
With expression non evaluation +4.01
Data.AVL.map that changes value type +3.91
Unsure how to use the `$` function -4.59
Group list by equivalence relation 0.00