Copilot.Interpret

An interpreter for Copilot specifications.

Documentation

data Format

Output format for the results of a Copilot spec interpretation.

Constructors

Table

CSV

interpret

Arguments

:: Format

Format to be used for the output.

-> Int

Number of steps to interpret.

-> Spec

Specification to interpret.

-> String

Interpret a Copilot specification.