A simple didactic functional language, extended to work on set data structures. Part of a "Programming II" project for University of Pisa.