StackRating

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

effectfully

Rating
1498.40 (3,854,998th) 		Reputation
10,544 (14,356th)
Page: 1 2 3 ... 6
Title Δ
Stuck on unification problems during case splitting +0.51
What is `where .force`? 0.00
How does one understand Data vs Record capabilities in agda? 0.00
Understanding unsolved metavariables and yellow highlighting in agda 0.00
Agda - Building proofs interactively - How to use the hole syntax? 0.00
Need hints about proving some intuitionistic logic statements 0.00
Could not parse the left-hand side (m + 1) * n +1.70
Using Agda "rewrite" to prove "composition of maps i... 0.00
Can we derive Uniqueness of Equality/Identity Proofs in Agda withou... 0.00
Can I use the normal form of a value to avoid incomplete pattern ma... +0.02
With-abstraction and equality 0.00
Church encoding of dependent pair -1.67
How do you represent terms of the CoC in Agda? 0.00
How exactly can cong be well-typed? 0.00
Formalizing multiple type judgements ⊢ within the same Γ in Agda 0.00
How to fix incomplete pattern matching in agda +1.98
How to increase the value of a `Fin n` without increasing its index? +2.46
Why haven't newer dependently typed languages adopted SSReflect... +0.54
How do I send an email via mime-mail-ses which has a proper "f... 0.00
How to define an alias in Agda's type delaration? 0.00
Short-circuiting "uninteresting" cases in monadic computa... 0.00
How can I store a function inside record/data type in Agda? 0.00
Use literal numbers in Fin patterns 0.00
How to inspect the value inside a product (Σ)? 0.00
Dependent type involving nat addition +0.49
How to disambiguate clashing constructor names 0.00
What's distributing a functor over a tuple called? -1.55
agda return the even number index of the list 0.00
Agda: Product of even numbers is even +1.24
Creating a fold that allows the type to change after each repeated... -1.65
Undersand Unary Relations and Universe polymorphism 0.00
agda - type of expression with mutual Lists not found 0.00
Proving a rather simple theorem in Haskell 0.00
How to develop with Stack two separate but related packages? 0.00
About the image of the succ function 0.00
Is it possible to write this function in Haskell? 0.00
What are good examples of programs that are simple to specify as de... 0.00
How to represent arbitrary GADTs on Morte? +2.79
How to type zipWith in Morte? +2.82
Haskell explicit forall with "missing" type parameter on... -1.04
Modifying monad state +2.44
How do i implement positive numbers in agda 0.00
How can I implement generalized "zipn" and "unzipn&q... -1.12
Arrays and type class-lifting (and dependent types?) +2.46
Stuck on a simple equality proof 0.00
Applicative instance for hypercuboid -1.77
Agda: type isn't simplified in `with` block 0.00
Agda standard library - why are more properties not marked abstract? 0.00
Is it possible to create a type-level representation of generic ADTs? +2.40
Type Juggling with Existentials at Runtime -1.60