Demo entry 6636576

distribution

   

Submitted by anonymous on Aug 26, 2017 at 12:06
Language: Agda. Code size: 152 Bytes.

distribution : {A B C : Type}  (A × (B + C))  ((A × B) + (A × C))
distribution (a , inl b) = inl((a ,  b))
distribution (a , inr c) = inr((a ,  c)) 

This snippet took 0.00 seconds to highlight.

Back to the Entry List or Home.

Delete this entry (admin only).