copilot-core-2.1.1: An intermediate representation for Copilot.
Copilot.Core.Interpret.Render
Description
An tagless interpreter for Copilot specifications.
renderAsTable :: ExecTrace -> StringSource
renderAsCSV :: ExecTrace -> StringSource