user3237465

user3237465 has asked 18 questions and find answers to 124 problems.

Stats

About

user3237465 questions

Eliminating a Maybe at the type level
What is this thing similar to KleisliFunctor?
Arity-generic programming in Agda
Why doesn't `iterate` from the Prelude tie the knot?
Pattern matching in Observational Type Theory
Generic programming via effects
Why do we need containers?

user3237465 answers

Eliminating a Maybe at the type level
A sticky refusal
How to represent arbitrary GADTs on Morte?
Is it possible to implement MaybeT with Applicative only?
Thue-Morse Sequence in one Line of Haskell
Explain this strange effect from the order of arguments (and provide a workaround, if possible)
Agda: How to infer proof of _ (or, how to implement a binary search tree)
How can I apply an arbitrary function under an existential wrapper?
How do you represent terms of the CoC in Agda?
Dependent type involving nat addition