copilot-language-0.3: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Interpret
Description
The interpreter.
Synopsis
csv :: Integer -> Spec -> IO ()Source
interpret :: Integer -> Spec -> IO ()Source
Much slower, but pretty-printed interpreter output.