copilot-language-0.3: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Error
impossible :: String -> String -> aSource
badUsage :: String -> aSource