StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Jesper

Rating
1514.33 (47,527th)

Reputation
1,294 (124,152nd)

Page: 1

Title	Δ
"Could not load module `Control.Monad.Trans.Maybe'" w...	0.00
Is it possible in Agda to define a new data type with meta-programm...	0.00
Agda stdlib Vec calling last after doing fromList on a List	0.00
Agda stdlib Vec fromList of list with arbitrary length	0.00
Debugging constraint satisfaction errors in Agda with CFG example	0.00
What are the rules for custom syntax declarations in Agda?	0.00
Preventing development agda from breaking basic standard library us...	0.00
Opening the top-level module applied on arguments	0.00
Bove-Capretta Predicate in Prop	0.00
How do I convince Agda's universe checker that what I'm doi...	0.00
How do I download and set up the standard library for Agda in Ubuntu?	0.00
Translating Coq Definitions to agda?	0.00
How does one use the with inspect in Agda?	+3.78
Empty functions are equal in Agda (without functional extensionality)	0.00
Why does the Agda typechecker crash on this program	0.00
How to deal with conflicting module definitions?	0.00
How to go from an explicit proof of size decrease to a halting redu...	0.00
Convert indexed Agda data type to record	0.00
Rewrite with proof-irrelevant equivalence relations in Agda?	0.00
Calling a function in Agda	0.00
What is the right way to use the `do` notation with Agda-stdlib'...	0.00
How to join strings in Agda	0.00
Why we cannot pattern match on Set/Type in Coq/Agda/Idris？	0.00
Why does order matter in function definition?	+4.50
What is positivity checking?	0.00
Agda records: field alias	0.00
Why does Agda give error "expected: ℕ, actual: ℕ"	0.00
What does errors like "!=<" mean in agda and how to fix	0.00
Defining decidable equality for dependent pair in Agda	+3.99
How does agda compiler figure out what to compile?	0.00
Prove that n times an even number yields an even number in Agda	+4.02
Decidable equality in Agda with less than n^2 cases?	0.00
Irrelevant implicits: Why doesn't agda infer this proof?	-4.03
What is Axiom K?	0.00
Haskell Deriving Mechanism for Agda	-4.21
Using irrelevant fields	0.00
Is it possible to get hold of free theorems as propositional equali...	+3.95
Agda : Ambiguous name _==_. It could refer to any one of	+2.33
How to use Prop from UTT in Agda	0.00
splitAt equality in Agda	0.00
How to prove that equal function types have equal domains?	0.00