atom-0.0.1: atom.cabal
Name: atom
Version: 0.0.1
Synopsis: A DSL for embedded hard realtime applications.
Description: Atom is a Haskell DSL for designing hard realtime embedded programs.
Based on conditional term rewriting, atom will compile
a collection of atomic state transition rules
to a C program with constant memory use and deterministic execution time.
License: BSD3
License-File: LICENSE
Author: Tom Hawkins
Maintainer: tomahawkins@gmail.com
Category: Language
Build-Type: Simple
Cabal-Version: >= 1.2.3
Extra-Source-Files:
Library
Build-Depends: base, mtl, process
Exposed-Modules:
Language.Atom,
Language.Atom.Code,
Language.Atom.Common,
Language.Atom.Compile,
Language.Atom.Elaboration,
Language.Atom.Expressions,
Language.Atom.Language,
Language.Atom.Scheduling,
Language.Atom.Verify
extensions: GADTs
ghc-options: -W
Other-Modules: