StackRating

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

Vitus

Rating
1583.02 (2,752nd) 		Reputation
9,997 (15,278th)
Page: 1 2 3
Title Δ
Term not reduced as expected 0.00
Assisting Agda's termination checker +3.36
How can finite numbers work? (dependent types) +3.38
How does agda's inspect function work? 0.00
Using the value of a computed function for a proof in agda +3.39
encoding binary numerals in lambda calculus +3.46
Agda functions, function matching on types 0.00
Agda: how does one obtain a value of a dependent type? 0.00
Instance Implicits for Type Checking 0.00
An agda proposition used in the type -- what does it mean? 0.00
Do agda programs necessarily terminate? +3.51
Lowering functions to an embedded language 0.00
Termination check on list merge 0.00
Problems with using of dependent pairs in Agda 0.00
Type error when trying to pattern-match on something that should be... 0.00
Type Hierarchy in Agda 0.00
Agda: Pair of vectors that have the same length 0.00
How can I understand "(.) . (.)"? +3.96
Composition of two functors is a functor 0.00
Why does the following ReaderT String IO lose an IO action? +4.21
Chaining arrows of types `a b [c]` and `a c d` 0.00
How to express existential types using higher rank (rank-N) type po... +3.85
Agda: my code doesn't type check (how to get implicit arguments rig... 0.00
Agda: parse a string with numbers +3.67
Generate the list of Ints associated with an Enum type 0.00
NoMonomorphismRestriction helps preserve sharing? +4.38
Agda and Binary Search Trees 0.00
Converting Haskell code to Agda 0.00
"<-" and associated values +0.52
Difficulty with file I/O not producing output +3.70
The state monad and learnyouahaskell.com 0.00
What does this combinator do: s (s k) 0.00
How to use dependent pairs -4.46
Fixed point combinator in Haskell +3.60
How does std::move() transfer values into RValues? +3.79
std::move realisation 0.00
Deleted and Defaulted Functions Real World Examples +2.99
How to find, from which template-layers is object composed of? -2.13
binding of lvalue into rvalue reference move ctor and return of fun... +4.24
std::forward vs std::move while binding lvalue to rvalue reference +4.86
C++ find in vector +4.28
How can I pull variadic template arguments off from the tail instea... -0.58
Problem with an array of pointers -0.05
How to access typedefs from inherited template -3.54
C++0x perfect forwarding getting in the way of copy ctor? 0.00
"No matching function call" in template function 0.00
C++ Regular Expressions with Boost Regex 0.00
Getting sub-match_results with boost::regex +1.11
My explicit instantiation of template class seems doesn't work +0.99
Lifetime of temporary bound to aggregate initialized struct member -0.26