1 Table of Contents: “... Dependencies -- Categories of Products with FDs -- Vectors Using FDs -- Enforcing the Presents Rule with FDs...”

2 Table of Contents: “... -- Dependent Typing -- Introducing Idris -- Enforcing the Presents Rule in Idris -- Type-level Programming...”

3 Table of Contents: “... Classes; Using Packages; Managing Dependencies; Building Packages; Building Packages with Cabal; Building...”