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

Safe Haskell	Safe

Copilot.Core.PrettyPrint

Description

A pretty printer for Copilot specifications.

Synopsis

Documentation

prettyPrint :: Spec -> String Source

Pretty-prints a Copilot specification.