-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A stream DSL for writing embedded C programs.
--   
--   This package is the main entry-point for using Copilot.
--   
--   Copilot is a stream (i.e., infinite lists) domain-specific language
--   (DSL) in Haskell that compiles into embedded C. Copilot contains an
--   interpreter, multiple back-end compilers, and other verification
--   tools. A tutorial, bug reports, and todos are available at
--   <a>https://github.com/Copilot-Language/copilot-discussion</a>.
--   
--   Examples are available at
--   <a>https://github.com/Copilot-Language/Copilot/tree/master/Examples</a>.
@package copilot
@version 3.0

module Language.Copilot.Main
copilotMain :: Interpreter -> Printer -> Compiler -> Spec -> IO ()
defaultMain :: Compiler -> Spec -> IO ()

module Language.Copilot
copilotMain :: Interpreter -> Printer -> Compiler -> Spec -> IO ()
defaultMain :: Compiler -> Spec -> IO ()