Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.11. Use copilot-interpreter instead.
An interpreter for Copilot specifications.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.11. Use copilot-interpreter instead.
An interpreter for Copilot specifications.