copilot-language-3.4: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Source
Contents
Index
Safe Haskell
Safe
Language
Haskell2010
Copilot
Documentation
module
Copilot.Language