Tutorial Capsules

These capsules are explicitly designed for use in tutorials that introduce aspects of Tock in a guided fashion. Please see the Tock Book for the corresponding guides.