Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Copilot.Core.Interpret
Description
Deprecated: This module is deprecated in Copilot 3.11. Use copilot-interpreter instead.
An interpreter for Copilot specifications.
Documentation
Output format for the results of a Copilot spec interpretation.