StackRating

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

Edwin Brady

Rating
1521.35 (29,369th)
Reputation
3,951 (42,451st)
Page: 1
Title Δ
Total definition of Gcd in Idris +3.64
Compilation error while implementing extensible record 0.00
Function on dependent type is not total, but idris thinks that it&#... 0.00
Why Nat data type in Idris starts with 0 and not 1? 0.00
Is there a non-trivial example with universe inconsistency in Idris? +3.84
How do I convince the totality checker in Idris that I'm not us... 0.00
Pattern matching on the result of type computing functions in idris 0.00
Is Idris really "strictly evaluated?" 0.00
Seeming contradiction typechecks in Idris 0.00
How to fully evaluate case block in type 0.00
Primitive operations in proofs +3.59
Splitting hairs whilst splitting strings 0.00
Is there something more informative than :set showimplicits for dec... 0.00
Idris vectors vs linked lists +3.93
Forall quantifier and complex boolean propositions in Idris 0.00
Surprising failure of unification in Idris 0.00
Is there a nice way to use `->` directly as a function in Idris? 0.00
Syntax error when using views 0.00
How to rewrite a function body in Idris so that the type correspond... +4.25
Idris function to construct empty `List a` where `a` is bound to an... +4.10
Idris eager evaluation 0.00
How can I get the length of dependently typed interval? -2.00
Differences between Agda and Idris 0.00