This repository was archived by the owner on Apr 10, 2022. It is now read-only.

Merged

use real code to generate output for the examples. A few other edits #16

big edit of semantics section (#18)

Workflow runs completed with no jobs