The copilot-language package

The concrete syntax for 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 https://github.com/niswegmann/copilot-discussion.

Examples are available at https://github.com/leepike/Copilot/tree/master/Examples.

Properties

Versions	0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.9.1, 2.1.1
Dependencies	array, base (≥4.0 & <5), containers (≥0.4 & <1), copilot-core (≥0.1), data-reify (≥0.6), ghc-prim (0.2.*), mtl (≥2.0 & <3)
License	BSD3
Author	Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordby Wegmann
Maintainer	leepike@gmail.com
Stability	Experimental
Category	Language, Embedded
Source repository	git clone git://github.com/niswegmann/copilot-language.git
Upload date	Mon Feb 13 02:05:01 UTC 2012
Uploaded by	LeePike
Built on	ghc-7.4

Modules

Copilot
- Copilot.Language
  - Copilot.Language.Error
  - Copilot.Language.Interpret
  - Operators
    - Copilot.Language.Operators.BitWise
    - Copilot.Language.Operators.Boolean
    - Copilot.Language.Operators.Cast
    - Copilot.Language.Operators.Constant
    - Copilot.Language.Operators.Eq
    - Copilot.Language.Operators.Extern
    - Copilot.Language.Operators.Integral
    - Copilot.Language.Operators.Local
    - Copilot.Language.Operators.Mux
    - Copilot.Language.Operators.Ord
    - Copilot.Language.Operators.Temporal
  - Copilot.Language.Prelude
  - Copilot.Language.Reify

Downloads

copilot-language-0.6.tar.gz (Cabal source package)
package description (included in the package)