Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Generates a C99 header from a copilot-specification. The functionality provided by the header must be implemented by back-ends targetting C99.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Generates a C99 header from a copilot-specification. The functionality provided by the header must be implemented by back-ends targetting C99.