StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

András Kovács

Rating
1646.10 (628th)

Reputation
25,270 (5,059th)

Page: 1 2 3 4 ... 8

Title	Δ
How to write reverseT without using List?	+0.36
Rewriting GADT code in terms of standard Haskell?	+1.62
Dependent type indexed by a term of its own type	0.00
What is a clean algorithm to recover a CC term from an untyped one...	+1.39
How can I convince Agda that my function has a certain value?	0.00
A category of type-changing substitutions	+1.87
Efficiently convert Foreign.Ptr Word8 (or ByteString) to UArray Int...	0.00
What are the inhabitants of the [(Type,Type)] kind?	0.00
Cryptic error: `.A !=< .A₁ of type Set` in simple function	0.00
Is there any cons to defining functions (such as `add`) by listing...	0.00
Why this Agda program won't normalize an expression under a `wi...	0.00
Avoid tedious implementation of Ord	+1.19
Can fix only be typed in non-strict evaluated languages?	+1.07
Haskell type is too permissive: need to apply continuation at most...	+1.29
Is there a type theory in which the equivalence of identically shap...	0.00
Would it be inconsistent to relax Coq's strict positivity check...	0.00
Rewrite and keep pattern matching?	-0.19
How to avoid Haskell space leak?	0.00
Foreign data and garbage collection	+1.64
Porting (simply-typed) lambda calculus term saturation proof from C...	0.00
Existential data types with a single strict field	+1.66
How can I implement a typeOf function?	0.00
fmap over variable argument function	0.00
Parse errror: version mismatch between Agda and its standard library	0.00
Coq polymorphic function without explicit type	0.00
What is the shortest way to create a record form list?	+0.96
Is explicit type passing not equivalent to type inference (in terms...	0.00
Convert Nat from type family call into Integer	0.00
In Idris, can I prove free theorems, e.g. the only (total) function...	0.00
Why does Idris order the arguments to Data.Vect as size then item-t...	0.00
Is there a proof that runST is indeed pure?	+0.31
Why can't dependent types in Idris handle this situation?	0.00
Polymorphic functions over chains of nested tuples	0.00
Definition function without using a helper function	0.00
Pigeonhole proof without decidable equality or excluded middle	0.00
Equational proof for semirings in Agda	0.00
How can undecidable instances actually hang the compiler?	-1.68
Is it usual to wrap a variable in an useless `id` call to avoid eta...	0.00
Show instance for a dependent type	0.00
Why does 5 :: Sum Integer work as literal?	0.00
How can I generalize this in-place Selection Sort?	0.00
If Idris thinks things may be total that are not, can Idris be used...	0.00
Injecting Indexed Functor into Functor Coproduct	+0.32
How to represent arbitrary GADTs on Morte?	-1.46
How to create an field that only accepts other fields?	+1.37
What is the Emacs keyboard shortcut for the Agda 𝕃 symbol?	-2.74
How to type zipWith in Morte?	-2.15
What is the best way to do "replace-if"?	+0.19
Haskell AST with recursive types	+0.31
Deconstruct type level list into nested tuple without sentinel for...	0.00