copilot-1.0: A stream DSL for writing embedded C monitors.
Language.Copilot.Examples.StatExamples
t0 :: Streams
tMean :: Streams