Fri Dec 29 13:48:44 EST 2017

Agda, coproducts

Coming back to proofs in agda.  Why does it feel so asymmetric to
prove things using case analysis (disjunction) as opposed to tupling

I still don't have a good answer as to why disjuction and conjuction
feel so different, while somehow "being made of the same stuff".