Copilot.Core.PrettyPrint
Description
A pretty printer for Copilot specifications.
- prettyPrint :: Spec -> String
Documentation
prettyPrint :: Spec -> StringSource
Pretty-prints a Copilot specification.
copilot-core-0.2.1: An intermediate representation for Copilot.
Copilot.Core.PrettyPrint
Description
A pretty printer for Copilot specifications.
prettyPrint :: Spec -> StringSource
Pretty-prints a Copilot specification.