This directory contains the definition of Toy Grail: the machine
model, syntax, and operational semantics.

