Hierarchies
We have decided to skip chapter 8. However, it is still a good idea to skim through this chapter to see what ideas there are behind classes and hierarchies in Lean.
Next week
Next week, we will start working on chapter 9, and introduce the quantum project that we will be working on after finishing MIL.