POPL Tutorial/MinML

• MinML Syntax and judgments---the code we just wrote

• [http://twelf.org/w/index.php?title=POPL_Tutorial/MinML_Starter&action=raw&ctype=text/css Starter code]: start here if you don’t want to type along

• Solutions to exercises