A book on introducing programming and the foundations of mathematics from scratch by way of homotopy type & category theory.