Un interprete per un linguaggio funzionale didattico simile a OCaml, scritto in OCaml. Comprende l'interprete e una batteria di test.
Per dettagli sui requisiti richiesti, vedere Istruzioni e specifiche; per dettagli sulle scelte implementative vedere la Relazione.
Seconda metà del progetto finale dell'esame di Programmazione II dell'A.A. 2018/19 (codice 273AA), tenuto dal professor Gianluigi Ferrari, nel corso di laurea triennale in Informatica dell'Università di Pisa.
Homepage del corso: http://pages.di.unipi.it/ferrari/CORSI/PR2/PR2.html