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 7 ... 12
Title Δ
Top-down recursion schemes 0.00
How does one find and understand excess data dependencies in a Hask... 0.00
Template Haskell on Aeson 0.00
Returning a set from function 0.00
How to Manually Set up a Library in GitHub for Use in CoqIDE? 0.00
How to compile Coq files with Proof General + Emacs? 0.00
Automagically create predicates that detect components of a sum type? +0.45
Compute all sublists with nth element removed +2.34
coq - applying the inductive hypothesis to a hypothesis in eqb_list... 0.00
Will errorWithoutStackTrace be faster than error when there isn'... 0.00
How to prove `(fun _ : nat => False) = Empty_set nat` in Coq? 0.00
Haskell stack - allow-newer enabled and won't turn off? 0.00
Why is there difference between throw and throwIO? +2.35
How to use Data.Data? -0.53
Why is main's return not an exit code? 0.00
How to create critical section in Haskell? +2.16
Encoding problem with GET requests in Haskell 0.00
Which Haskell string type to use for Unicode data when fast (O(1))... 0.00
How to define MonadUnliftIO instance for a newtype with a phantom t... 0.00
Reactive's Monad and Applicative instances in Conal Elloit'... 0.00
Type-level monoid-like operations for generalizing indexed monads? +2.28
Induction on a datatype with non-uniform type parameters produces i... 0.00
Is it safe to derive MonadThrow, MonadCatch, MonadBaseControl, Mona... 0.00
Unable to convert type-level list back to value-level using singlet... 0.00
Would it be possible to derive Data.Vector.Unbox via GHC's gene... 0.00
Rewriting list compression in Coq 0.00
How to use a sum type as a key in map when using Aeson? 0.00
QuickChick "Error: Could not compile mli file" 0.00
QuickChick context forwarding 0.00
Defining Free Bind in a way that is compatible with the Free Monad 0.00
RelationClasses versus CRelationClasses 0.00
Control.Exception.evaluate treats thunks generated by equivalent fu... 0.00
haskell : calculated fields in custom data types +0.50
Generically determining arity of data types +2.53
Inferred generic function typechecks as a return type but not an ar... +2.20
How to evaluate this generic abstract syntax tree in Haskell? 0.00
Difficulty in defining the Relation type as an instance of the Cate... 0.00
Coq: Error: Unable to locate library Coq.extraction.Extraction 0.00
Import Coq variables from another file -1.24
Building up tree and decreasing argument of fix 0.00
Use rewrite tactic with my own == operator in Coq +0.41
Coq: prove that an inductive type w/o a non-recursive constructor i... 0.00
A proof about a mutually inductive proposition 0.00
How to define a polyvariadic arrow? 0.00
How to make a recursive call with a decreasing argument? +0.41
Using Coq Field axioms +0.41
How to work with types that change under composition? 0.00
Tree Traversal - DFS 0.00
I want to do induction on Peano nats but I want to prove a property... +0.44
Free Monad for AST > 1-arity? 0.00