StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Twan van Laarhoven

Rating
1522.26 (27,877th) 		Reputation
2,032 (82,696th)
Page: 1
Title Δ
How do I handle the higher inductive cases when defining functions... 0.00
Why agda with-abstraction don't erase some clauses? 0.00
How to pattern match multiple values in Idris/Agda/Coq? +3.60
two fields record congruence in Agda 0.00
Get around whitespace requirement for Mixfix operators in Agda? 0.00
Trouble to understand Agda's Coinduction 0.00
Can I constrain the parametric polymorphic type on type/data constr... +3.73
Search tree with efficient diff for derived trees -0.17
Testing a random generator using QuickCheck 0.00
Parallel evaluation of list 0.00
Are haskell data types co-algebras by default? 0.00
Current time as Int +4.66
Unicode name from Char +3.84
What does this list permutations implementation in Haskell exactly... +4.03
Ascii punctuation characters to basic latin lowercase alphabet mapp... 0.00
Indexing Data.Vector with an array of indices -4.12
Observing isomorphism and then proving them as Monad +2.70
digitToInt, wrong datatypes and Unknown Exceptions 0.00
Understanding Haskell's `toUpper` 0.00
Constraints on closed type families? +4.14
How to get Text.PrettyPrint.HughesPJ.fsep behaviour in Text.PrettyP... 0.00
Foldable and Trees 0.00
Is there a name for this kind of lifting a function? -0.13
How can I remove some terms when parsing this BNF? 0.00
Strange error when trying to make 16-tuple in Haskell 0.00
Haskell - Avoiding a control stack overflow with tree recursion 0.00
Overlapping instances by turning Monads into Semigroups 0.00