copilot-2.0: A stream DSL for writing embedded C programs.

Language.Copilot

Documentation

module Copilot.Language

module Copilot.Language.Prelude

module Copilot.Language.Reify

module Copilot.Library.Clocks

module Copilot.Library.LTL

module Copilot.Library.PTLTL

module Copilot.Library.Statistics

module Copilot.Library.RegExp

module Copilot.Library.Utils

module Copilot.Library.Voting

module Copilot.Library.Stacks