StackRating

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

Philip Dorrell

Rating
1496.29 (4,062,410th) 		Reputation
1,368 (118,261st)
Page: 1
Title Δ
How would a Void let you produce, or do, anything? 0.00
Why do I need the Identity functor in Idris 0.00
Idris - Eq for enumerated type -4.02
Keeping track of "state" when writing equality proofs tha... 0.00
Where is the Idris == operator useful? -0.02
Does Idris support unfolding function definitions? 0.00
Idris - rewriting in simple theorem proof -3.71
How to prove that the boolean inequality of a type with itself is u... +4.04
getting more information from phantomjs "SyntaxError: Parse er... 0.00
Automatically close PhantomJs after running script 0.00
In Sinatra, is there a way to use my own error handler for some err... 0.00