copilot-core-2.1.2: An intermediate representation for Copilot.

Safe HaskellTrustworthy
LanguageHaskell2010

Copilot.Core.Interpret

Description

An interpreter for Copilot specifications.

Synopsis

Documentation

data Format Source

Constructors

Table 
CSV 

interpret :: Format -> Int -> Spec -> String Source

Interprets a Copilot specification.