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

Title	Δ
How does one inspect what more complicated tactics do in Coq step-b...	-0.34
Lifting a (Lens) Traversal to Fix	0.00
How to use type variable in Haskell instance-where	0.00
Finding the index of current element in a map function	0.00
Overlapping instances via Nat-kind	0.00
What's the difference between throw and throwIO	-2.06
Can I tell Coq to do induction from n to n+2?	+2.00
Parse untagged sum type with aeson	0.00
Monad Transformer stack receives Non-type variable argument error	+2.28
How to fit in IO type when using external libraries	0.00
How to unfold a Coq fixpoint by one iteration	0.00
How to destruct a theorem into all three disjuncts in one step?	0.00
Weaken GADTs type constraints to deal with unpredictable data	0.00
How does one define one single Configuration for Big Step and Small...	0.00
How does one divide two Nats in Coq?	+0.43
Derive positional Show	0.00
Learning recursion schemes in Haskell by TicTacToe	0.00
Point-free for filter function	-1.77
How to (unsafely) reflect a map as a constraint?	0.00
Program Fixpoint error with Admit Obligations and nested recursion	0.00
How to reduce lambda expression	0.00
Debugging <<loop>> error message in haskell	+0.43
How can I force debug trace statements to evaluate in order?	+2.00
List Instances for higher-kinded types	0.00
Exhibiting the relationship between hylo and hyloM	0.00
How to separate a user inputted string by the spaces n in Haskell IO	-2.29
Record update for dynamically-resolved field name	+0.46
Using Deriving Via with Phantom Types	0.00
Can't derive Generic for this type?	0.00
Rank 2 constraint programming / constraint implication	0.00
How does the Haskell compiler "know" that IO cannot be un...	+0.50
Haskell IORef - an answer vs. a function to get an answer	0.00
Avoid repetition in Coq	0.00
Aeson: derive some (but not all) fields of a struct	-2.25
Reduction in coq when the simpl or cbn tactics are not effective	0.00
Coq: Derive argument from context	0.00
Converting from newtype to Int and from Int to newtype	-0.54
freer-simple - How can I generate a list of effect members at runti...	0.00
Coq forward reasoning: apply with multiple hypotheses	0.00
Coding ordered sets	0.00
how to rewrite something true to True	0.00
Coq: Sublists of sorted lists are also sorted?	0.00
Development of the Coq library. (Add LoadPath solution is not good...	0.00
What is the reverse of fmap?	+0.44
Coq unification on record params	0.00
Conditional Proof Tactic in Coq	+0.41
How to chose a value of a constant type based on an unrelated type?	-1.32
Interpreting the Teletype free monad in the RWS monad	0.00
Why does Adam Chlipala use left-associated nested tuples to represe...	-0.39
Lifting the monad IO in ConduitT on ResourceT	0.00