The introductory Calculator Language Tutorial - constraints and type-system
The introductory Calculator Language Tutorial
MPS basics - creating your first language
Running MPS solutions