Readme for copilot-c99-0.2.1

Overview

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot is similar in spirit to
languages like Lustre. Copilot contains an interpreter, multiple back-end
compilers, and other verification tools.

Examples

Please see the files under the Examples directory in the
Copilot for a number of examples
showing the syntax, use of libraries, and use of the interpreter and back-ends.
The examples is the best way to start.

Installation

The Copilot library is cabalized. Assuming you have cabal and the GHC compiler
installed (the Haskell Platform is the
easiest way to obtain these), it should merely be a matter of running

cabal install copilot-c99

However, we strongly recommend you install Copilot, which installs copilot-c99
and other packages automatically. Execute