Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
An tagless interpreter for Copilot specifications.
Documentation
renderAsTable :: ExecTrace -> String Source #
renderAsCSV :: ExecTrace -> String Source #
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
An tagless interpreter for Copilot specifications.
renderAsTable :: ExecTrace -> String Source #
renderAsCSV :: ExecTrace -> String Source #