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 ... 4 5 6 7 8 ... 12

Title	Δ
throwE and catchE with ExceptT monad on the bottom of monadic stack	0.00
Algebraic data type (intended) name collision.. how to?	-0.82
what does this notation `:>` mean in Coq?	0.00
Logic: In_app_iff exercize	0.00
What does the tactic `Induction` followed by a number do?	0.00
How to automatically leverage hypotheses of the form x <> y?	-0.34
Coq: Notation not importing from List	0.00
How to prove equality impossible	0.00
Proving decidability for a datatype that includes a vector	-0.50
Well-founded induction for a counting predicate	0.00
Using a quantified type equality constraint from the instance const...	-1.08
Transform casual list into dependently typed list in Coq	0.00
Proving a contradiction in Coq	0.00
Confusing obligations generated by `Program` tactic	0.00
Coq doesn't recognize equality of dependent list	0.00
Coq: How to produce a strong polymorphic dependent type hypothesis	0.00
Call into newtype constructor	0.00
Why is the operator / function conversion not reversible?	0.00
Representing Higher-Order Functors as Containers in Coq	+2.00
Representing Higher-Order Functors as Containers in Coq	-2.00
Flattening a binary tree in a specific manner	+0.08
Pushdown Automata in Haskell using the List Monad	-0.29
Is scanl1 really partial?	0.00
Good design of a Haskell data structure modeling a statistical test	0.00
"Non strictly positive occurrence of ..."	0.00
Parsing CLI options for a product type	0.00
Is there any way to open constraint dictionaries at compile-time in...	-1.32
Implementing instance methods with ambiguous type variables not con...	0.00
How to add function and procedure abstractions denotational semanti...	0.00
Pattern match on HXT does not work as expected	0.00
Why the does this shrink tree looks the way it does when using filter	0.00
How can I implement fromJSON on a GADT with custom type class const...	0.00
How to use cabal install for regular expression package installation?	0.00
Proving `forall x xs ys, subseq (x :: xs) ys -> subseq xs ys` in...	+0.45
Modify ST dependent environment in ReaderT – problem with `loc...	0.00
How to destruct values of expressions?	0.00
Hide one of the type params of a multi-param typeclass in a functio...	+2.72
Coq simple implies proof	0.00
Type family not reducing with GHC	0.00
Binding types in signatures	0.00
record syntax on a GADT-style data type declaration issue	0.00
What is the best practice to generate data which satisfy specific p...	0.00
How can we serialize & deserialize a Haskell Data Struct to Byt...	0.00
How do I set Haskell benchmarking up with Stack's package.yaml?	0.00
How do I add an Applicative context to a type expected by Lens'...	0.00
What would be the type signature of a function that can be applied...	0.00
Using State Monad turns all of my functions into monadic functions	0.00
Birecursively defining a doubly infinite list of lists	+2.25
Pass a variable to several sequenced functions in IO	-1.66
Why aren't Haskell variables polymorphic when bound by pattern...	+0.53