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