Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.12. Use copilot-prettyprinter instead.
A pretty printer for Copilot specifications.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.12. Use copilot-prettyprinter instead.
A pretty printer for Copilot specifications.