Types, Values, and Classes To follow along, clone this repository: git clone https://github.com/USCSoftwareEngineeringClub/TypesValuesClasses.git You will also need Haskell and Prolog to run the examples.