copilot-core-0.2.1: An intermediate representation for Copilot.
Copilot.Core.Interpret
Description
An interpreter for Copilot specifications.
Synopsis
data ExtEnv Source
Environment for simulation.
Constructors
Fields
data Format Source
interpret :: Format -> Int -> ExtEnv -> Spec -> StringSource
Interprets a Copilot specification.