StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

madgen

Rating
1497.71 (3,935,789th)

Reputation
437 (303,953rd)

Page: 1

Title	Δ
Choicepoint pruning needs a cut, but I think the compiler should be...	0.00
Propagating recursive property if all predecessors satisfy it	0.00
Replace a clause in Prolog	-4.02
Having trouble translating code from Haskell to SML	0.00
How do I prove type-level list properties in haskell?	0.00
When the prolog returns sat as an output what does it mean?	0.00
How can I run multiple statements in GHCi?	0.00
Why is Type the kind of types with values?	+5.17
Can type constructors be considered as types in functional programm...	+2.26
Haskell - propositional logic	-3.05
Expressing infinite kinds	-3.26
Do notation for monad in function returning a different type	+0.81
How do I assert the type of an inner function depends on the type o...	0.00
Creating a new function inside a function based on the parameters o...	-1.44
Can I make this a Monad	0.00
List comprehension troubles	+1.24
Functions with parametrised arity	0.00
Why do I get 404 with a valid url using Net::HTTP.post_form?	0.00
Config settings for active_merchant to be compatible with a Rails 3...	0.00