Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Copilot.Interpret
Description
An interpreter for Copilot specifications.
Documentation
Output format for the results of a Copilot spec interpretation.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Copilot.Interpret
Description
An interpreter for Copilot specifications.
Output format for the results of a Copilot spec interpretation.