POPL Tutorial/MinML

From The Twelf Project

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

• Starter code: start here if you don't want to type along
• Solutions to exercises