copilot-0.23: A stream DSL for writing embedded C monitors.

Language.Copilot.Examples.StatExamples

Documentation