This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that …
