StackRating

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

asr

Rating
1487.11 (4,453,408th) 		Reputation
893 (169,984th)
Page: 1
Title Δ
Is it possible to use Agda as a library? 0.00
Agda: Unable to do IO - missing Data.FFI, IO.FFI 0.00
Why is this not a valid definition of dependent function types in a... 0.00
What is this Agda error? 0.00
Number.isInteger method and Node.js version -1.15
How to find the source file for an identifier in Coq -1.97
An unexpected universe level 0.00
Double negation proof +3.88
Problems with Cabal when installing Agda 0.00
Issue using quickCheckAll and GHC 7.10.1 RC1 0.00
Pattern match on specialised constructors -2.98
Tautology symbol Agda 0.00
Use Agda's input method in other emacs mode? 0.00
GHC incompatibility installing haskell-src-exts via cabal 0.00
Currying with dependent types in agda -3.51
Why is typecase a bad thing? -4.03
Non trivial negation in agda -3.24
Sort name issue in Z3 +3.81
double negation insertion in agda 0.00
Imported datatype clashes with locally defined one, even when renamed -3.71