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

Title	Δ
How to define a custom type error within a type family for a constr...	+0.24
Debugging type Errors in Haskell	0.00
How to define this dependently-typed tree structure in Coq?	0.00
Why is everything a Functor and what about Monomorphic types	+2.22
Is there any reason why foldr type signature differs from foldl one?	0.00
Coercion of typeclass instances with phantom parameter	0.00
Can I do “complex” mutual recursion in Coq without let-binding?	0.00
What does 'no specified version' mean in my Cabal build?	0.00
Can I escape the `IO` in `catch`	0.00
Why derive Typeable for this type	+1.47
Non-Injective Closed Type Family	0.00
Recreating failing input value for QuickCheck from a seed	-1.32
Prevent unintentional unfolding after application in Coq	0.00
Display the original name of the imported module in Coq	0.00
QuickCheck with Dynamic Element Sets	0.00
Freer-Simple Freer Monads How do I Unify IO Exception Handling with...	0.00
A function for returning part of a product or record depending on p...	+0.85
Least fix point, greatest fix point	0.00
Best Practices for Dummy Values in Coq	0.00
What is a clean algorithm to recover a CC term from an untyped one...	-1.39
Haskell - Parse binary stream	0.00
Congruence of Type Level Nats in Haskell	0.00
Does FreeMagma with identity (unital magma) form list structure?	0.00
In what condition we should use `[ ] a` in a type declaration?	+0.20
Redundancy in the MonadWriter class	0.00
Cassava parsing error in haskell	0.00
Are Coercions allowed within polymorphic datatypes in coq?	0.00
How to adapt the many' to return Left in attoparsec of Haskel	0.00
Stream transformer Monad for Vector.Stream	0.00
Specifying polarity in a module type	0.00
Laziness in folding the result of a map operation	+0.45
Writing a Hashable instance for a large sum type	-0.64
Haskell Attoparsec infinite loop	0.00
Define recursive notation with two recursive variables in Coq	0.00
Recursion schemes with several types	0.00
Haskell could not find user defined module	0.00
Row polymorphic equality of type-level lists	0.00
Forgetting Cofree annotations using a catamorphism	0.00
What Coq function definition `Definition Term := forall T: Type, te...	0.00
Not in scope: type constructor or class ‘Test.Framework.TestSuite’...	0.00
Are all proofs of (true=true) the same?	0.00
Not recognizing a type as an associated type of a monad inside a tr...	0.00
Is there a way to prevent Data.Generics.Alloy.GenInstances from sca...	0.00
Couldn't match types deep in a monad stack	0.00
a function that get the minimum of a set in coq	-1.94
Documented typeclass instances not imported in Haskell	-0.84
'IsList' instance for GADT	+0.14
Re-dress a ST monad as something similar to the State monad	0.00
Ensuring a heterogenous list contains one typeclass	+2.12
Guidance completing a proof	+0.43