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

Safe Haskell	Safe-Infered

Copilot.Core.PrettyPrint

Description

A pretty printer for Copilot specifications.

Synopsis

Documentation

prettyPrint :: Spec -> String Source

Pretty-prints a Copilot specification.