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 6 ... 12
Title Δ
Can not use spltOn to split String on spaces 0.00
replacing/rewriting inside existential hypothesis -0.08
Is it possible to combine sequence and join for monadically created... 0.00
Case construct for Coq development 0.00
using list types with Haskell's -XDataKinds -0.99
How to rewrite given two dependent types are equal in Coq 0.00
Derive Ord with Quantified Constraints (forall a. Ord a => Ord (... 0.00
Does order really matter with <|> here in this parser? +1.66
data-class equivalent of `_1`-style tuple lens shortcut? 0.00
Are all homomorphisms proper? 0.00
Is there a name for a container "C a" that holds either a... 0.00
Parsing redundant parenthesis while restoring input on non-committe... 0.00
Haskell: create Function instance 0.00
Coq: type mismatch on dependent lists which could be solved by a pr... -0.59
Haskell: parallel computation and the 'sequential property'... 0.00
Haskell: monadic fixpoint on RWS is looping if traversing on argument -0.41
How to make the constraint-entailment function (||-)? (associated t... 0.00
Coinduction not of form A -> A? 0.00
Dependent shrinking in QuickCheck 0.00
How to analyze two seemingly equivalent programs with different beh... 0.00
Converting this FreeT (explicitly recursive data type) function to... +1.77
Optic for partial conversion on both sides -0.75
How to temporarily disable notations in Coq 0.00
Coq: prove that if (A, B) = (C, D) then A = C /\ B = D +0.41
Getting started with HSpec and Tasty in Haskell? 0.00
How do I make this algorithm lazier without repeating myself? +0.66
Coq: Why rewrite of lemma in theorem create two subgoal? 0.00
How to assert (H4: [] = [] ++ []) in a coq problem when there is no... +1.75
How to deal with the EmptySet regex constructor in coq proofs (and... 0.00
parsing Float with 'get' from ByteString not behaving as ex... 0.00
Enforce immediate typeclass instance resolution 0.00
How to tell a dependent match two nats are equal 0.00
Can one prove an equivalent to Forall_inv for heterogeneous lists i... +0.43
Two-level type hierarchy with Haskell +2.33
Is it possible to implement this function in Haskell? -0.19
hspec defined tests invoked with stack throw an error when test fil... 0.00
Haskell Compilation Error - Guard Type mismatching 0.00
Why does Element show up in a type error using Foldable (not MonoFo... 0.00
How to use a refutation to direct the type checker in Haskell? 0.00
COMPLETE pragma doesn't prevent incomplete-patterns warning 0.00
How to make instance of Applicative a certain data type -0.67
Curry's paradox in Haskell? 0.00
How can I walk this type with a recursion scheme instead of explici... -2.06
Custom extension for haskell file 0.00
MonadBaseControl laws 0.00
Is it possible to simplify the definition of Cont with RankNTypes? 0.00
Unifying polykinded quantification variable with tuple kinded type +2.24
StateMonad instance for TeletypeIO -1.39
Infinite recursive types in Coq (for Bananas and Lenses) 0.00
parse error (possibly incorrect indentation ...) when building a ca... 0.00