This is a supplementary document to tutorial 3, which teaches functions in Penrose. This document goes through the given starter code for the tutorial in detail. Here we have 2 types, 1 predicate.

To compile examples and view them in your http://localhost:3000 browser window, you will need two terminal windows opened at the root of your cloned Penrose ...