StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Markus

Rating
1487.13 (4,453,216th)

Reputation
1,153 (137,212th)

Page: 1 2

Title	Δ
Pattern matching on products in Idris	0.00
Idris Interactive editing commands not working in Atom on Linux	0.00
How to make Idris warn of incomplete cases/matches?	+4.10
splitEvery function for Vect in Idris	0.00
How to convince the typechecker that the types in the where clause...	0.00
Why does Idris think a prefix of an identifier is a keyword?	0.00
Idris not properly installing/finding packages	0.00
How to write SortedMap k (Maybe v) -> SortedMap k v?	0.00
How to resolve the issue "Can't find import Effects"...	0.00
reading and writing at Idris	0.00
overloaded method value filter with alternatives: in play-framework...	0.00
Idris not reducing map lookup	0.00
Parameter order in function and "implicit" paramter	0.00
Idris REPL can't find import while the program compiles	+4.28
Implicit arguments in Idris	0.00
How to declare functions with infix style in Idris	0.00
Why rewrite does not change type of expression in this case?	-3.75
Total definition of Gcd in Idris	-3.64
How to do basic pattern matching with formal parameters (value bind...	0.00
Proving `weaken` doesn't change the value of a number	+4.31
Idris dependent records with interface constraint on Type Construct...	0.00
Idris - equality assertion fails	0.00
Is there a value that has a type of Show Int?	0.00
How can I create a function that only accepts a subset of construct...	+4.41
How to write correct type signature for Vect in Idris?	0.00
Idris type deriving for an arithmetic operation	0.00
Why do these expressions have different levels of ambiguity?	0.00
How can I hide a name in the REPL?	0.00
What does a leading single quote mean?	0.00
Inf value is automatically forced after pattern matching	+0.29
Lower bound with Currying - simplifiable?	0.00
Understanding Argument Type	0.00
Check if Vector's Lengths are Equal	-3.44
Auto implicit arg stops working when type is given a name	0.00
Scala compilation error (s"")	0.00
Map `State` via `Lens`	0.00
How to accumulate scala.util.Try failures?	+0.30
playframework 2.4 - Unspecified value parameter headers error	0.00
Scala: groupBy based on boolean applied to next element	-4.34
Make a date with just a year and a month in Scala	+0.32
Play framework Json output issue	0.00
What are advantages of ApplicativeBuilder?	-3.73
Instantiating RInScala results in NoSuchMethodError	0.00
Scala make multiple option checks more concise	+0.20
How to avoid losing type information	-1.36
Debugging expression evaluation	0.00
Ways for converting key value string to Scala Map	-1.75
How to make SBT not reporting compilation warnings for generated co...	+0.42
Calling two consecutive side effecting methods in scala	0.00
Making a Homebrew Formula	0.00