Files for practical session 1 : interpreter and type-checker
Completion requirements
ZIP
Click TP-MiniML.zip link to view the file.