copumpkin

copumpkin has asked 7 questions and find answers to 15 problems.

Stats

About

(my about me is currently blank)

copumpkin questions

Nondeterministically interleaving conduit's Sources
JVM JIT diagnostic tools and optimization tips
Having my cereal and parsing it too
Is there a data structure for DAGs that supports efficient edits?

copumpkin answers

Total function of type (forall n . Maybe (f n)) -> Maybe (forall n . (f n))
Implicit length arguments in fixed-length-vector-functions in Agda
Are type family instance proofs possible?
Recursion Schemes in Agda
Types containing with/rewrite clauses in agda, or, how to use rewrite instead of subst?
What are structures with "subtraction" but no inverse?
What does OFFSET in 16 bit assembly code mean?
How to make a type with restrictions
Monads as adjunctions
Can I zip more than two lists together in Scala?