Module 2

This module consists of a video lecture, where I discuss some important tools and concepts relevant to program synthesis, and a programming lab, where I show you a possible way of implementing them and what kind of stuff you can do with them.