POPL Tutorial/Basics

• Examples of basic error messages
• [http://twelf.org/w/index.php?title=POPL_Tutorial/Basics_Starter&action=raw&ctype=text/css Starter code]: start from here if you don’t want to type along
• Solutions to exercises