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.