StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Cactus

Rating
1542.65 (10,561st)

Reputation
18,936 (7,293rd)

Page: 1 2 3 ... 9

Title	Δ
Agda. Pattern matching on characters	0.00
`import using` or `import hiding` in Idris2	0.00
Agda: std-lib: List: pattern matching with snoc	0.00
Agda Vec.filter gives a Vec≤, how do I go back to a Vec?	0.00
Agda Vec how to filter out elements	0.00
Vec: filter: I'm not sure if there should be a case for the con...	+0.43
Agda: rewrite subexpression	0.00
Agda: what does `.(` mean?	0.00
How to define a subformula of an inductively defined type in Agda?	0.00
Agda Store Comonad	+0.44
Haskell ambiguous type variable compiler error when foldMap on empt...	0.00
Idris returning dependent type signature error with if statement in...	0.00
Prove arbitrarily-nested Vect alias is showable	+2.00
Prove arbitrarily-nested Vect alias is showable	-2.00
What is `where .force`?	0.00
Non-total functions are treated as constants at the type level?	0.00
How are the carry and aux carry calculated for bitwise operations i...	0.00
Why does this function/constructor argument become a free implicit...	0.00
Compose two Traversals, with read-only access to the middle layer	0.00
Custom fields that somehow get all the way to buildHook?	0.00
How do I use the output of a program from an earlier part of a Stac...	0.00
Is this formulation of Modulo a Set?	0.00
Stitching together multiple chapters, each with a % header	-0.12
Haskell -> C FFI performance	0.00
Creating a result piecewise from stateful computation, with good er...	-2.05
Finite multisets as a HIT in Cubical Agda	0.00
Recreating a Vivado project from a TCL file without copying the sou...	0.00
How can I call an individual Idris function from JavaScript?	+0.44
Using interfaces to define partial functions on Type	0.00
How to include both Agda and Isabelle code in the same latex file?	-1.19
How do I convert the result?	-2.60
Data type for only lowercase chars	0.00
Why does the inliner choke on this construct?	0.00
How to access Data.Functor.Of?	0.00
Haskell regex, a section must be enclosed in parentheses thus	0.00
Case analysis in Idris proofs	0.00
Prove exhaustivity of print function based on a string map in Haskell	0.00
Is the univalence axiom injective?	-1.45
Equality between paths	-0.57
Pushing a path along a pair of paths originating from its endpoints	-1.03
Pushing a path along a pair of paths originating from its endpoints	+1.22
Defining non-unary functions in Cubical mode	+2.00
Defining non-unary functions in Cubical mode	-2.00
How to write quickCheck on properties of functions?	-0.51
Assigning the splitAt n list to pair(x,y) in haskell	0.00
Why J axiom takes 2 x when giving signature of x, y?	+1.41
Type-level conversion between period length and frequency	0.00
Agda: Function Parsing error	-0.57
How to understand SDecl in idris?	0.00
Why does order matter in function definition?	-0.56