StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Li-yao Xia

Rating
1569.48 (4,103rd)

Reputation
13,052 (11,138th)

Page: 1 2 3 4 5 ... 12

Title	Δ
rules on instantiation of existential variables in coq	0.00
Haskell: How to check that a char is valid utf8	0.00
How to run `m (Either e a)` actions in an `ExceptT e m a` do block?	0.00
Understanding and working with nested inductive definitons in coq	0.00
List coalgebra translating code from Haskell to SML	0.00
Simplifying the invocation of functions stored inside an ReaderT en...	+1.62
Haskell: make a Writer as efficient as normal code when log is not...	0.00
How to have "dependent" default values that can be overri...	-0.15
QuickCheck Arbitrary instance for abstract data type with smart con...	0.00
How do define a custom induction principle in coq?	-0.14
Equivalent of "binary-size(N)" pattern matching over a bi...	0.00
Is it possible to have a documentation only file with Haddock?	0.00
How to Factorize Continuation Monad into Left & Right Adjoints?	0.00
How to set all occurrence of a Variable in Section implicit	0.00
Use equivalence Theorems inside Greater Than Propositions in Coq	0.00
Extensionality axiom: why is it not unsound	0.00
How to pattern match on a boolean equality on strings and simultane...	0.00
Mutually recursively defined typeclass methods with defaults	0.00
Parsing nested arrays in Aeson	0.00
Apply a constant to all the fields of a datatype	+0.33
Fix repetitive instance declarations for algebraic data type	0.00
Can I introduce sound constructor equivalence?	0.00
Is postWith switching my request's Content-Type?	0.00
Similar functions applied to nested list in Haskell	0.00
Axiom reuse with Typeclasses in Coq	0.00
Capture-avoiding substitution function -- Lambda calculus	0.00
What is the right way to convert from Double to Fixed in Haskell?	0.00
Function argument seems to disappear in type analysis	0.00
Difficulties in proving equalities using the Coq MSet library	0.00
Eliding a proof when generating HTML using coqdoc	0.00
Proof a constraint when using a type family	0.00
Automatically specialize forall when the parameters are in scope	0.00
Does Gallina have holes like in Agda?	-0.45
Avoiding orphan instances when defining instances with template has...	0.00
Implicit, static type cast (coercion) in Haskell	0.00
Coq use refine with bi-implication	0.00
How to do pattern matching via a literal and assign a variable to i...	0.00
Coqtop cannot load file	0.00
coqc: -Q.PLF: no such file or directory	0.00
Haskell - Automatic Monad instance	0.00
Haskell: How do I compose functions "backwards", like Clo...	-1.58
Pattern matching / deconstruction of binaries and bitstrings in Has...	0.00
Is the functor distribution law for the `Alt` typeclass trivial?	-0.09
Type-level induction on KnownNats: Overlapping instances	+2.24
Expressing "almost Properness" under option type	0.00
Aeson parse JSON with default value from previous parse	+2.07
ST-like encapsulation	0.00
Witnessing that previous type family clauses didn't match	0.00
Matching higher-kinded types in SYB	0.00
SsrReflect and setoid rewriting	0.00