Cabal revisions of atom-0.0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-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: -+Name: atom +Version: 0.0.1 +x-revision: 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 < 4.16, 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: +