You can use the following command to run an example, replacing <name> with the appropriate value:

spago -x example.dhall run -p examples/<name>.purs -m Example.<name>

The output subdirectory contains the CSS output produced by each example.

The type-errors subdirectory contains examples of type safety that Tecton adds to CSS. All of these examples fail to compile (intentionally).