A toy language written in ML

The webpage has been moved to there:

• repo
• site