Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Copilot.Language.Reify
Description
Transform a Copilot Language specification into a Copilot Core specification.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Copilot.Language.Reify
Description
Transform a Copilot Language specification into a Copilot Core specification.