DaoFP Chapter 6 Exercises

exercise

Exercises from DaoFP, Chapter 6. Solutions: DaoFP Chapter 6 Solutions. Index: Map of Content.

Exercise 6.3.1

Show that $2\times a\cong a+a$, where $2$ is Bool. Do the proof diagrammatically, then implement both directions in Haskell (Bicartesian Closed Category, distributivity).

Sources: DaoFP Exercise 6.3.1.

Solution: Solution 6.3.1