StackRating

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

David Christiansen

Rating
1503.93 (261,947th)
Reputation
1,957 (85,517th)
Page: 1
Title Δ
Reflecting on a Type parameter 0.00
idris-mode – Buffer has no process 0.00
I can't prove (n - 0) = n with Idris +3.93
Partition a vector in Idris: why can't 0 and m+n be unified? 0.00
Custom prover tactics in Idris 0.00
Differences between Agda and Idris 0.00
Bash autocompletion in Emacs shell-mode 0.00