name:                secdh
version:             0.2
synopsis:            SECDH Machine Simulator
homepage:            http://github.com/pgavin/secdh
license:             BSD3
license-file:        LICENSE
author:              Peter Gavin
maintainer:          pgavin@gmail.com
category:            Compilers/Interpreters
build-type:          Simple
cabal-version:       >=1.8
description:         SECDH stands for "Stack-Environment-Code-Dump-Heap", and is an
                     abstract machine based on Landin's classic SECD machine for evaluation
                     of lambda-calculus expressions. This machine adds a heap of suspension
                     cells to the structure managed by the machine, allowing fully-lazy
                     evaluation, similar to Haskell. The machine operates directly on the
                     syntax tree, as Landin's machine does. The entire implementation,
                     including parser, evaluator, and garbage collector, occupies just over
                     1100 lines of code.

data-files:          programs/lib.slam
                     programs/expr.slam
                     programs/printfibs.slam
                     programs/printfibs2.slam
                     programs/queens.slam
                     programs/queens2.slam
                     programs/sieve.slam
                     programs/sieve2.slam
                     programs/tests/add.slam
                     programs/tests/bits.slam
                     programs/tests/bottom2.slam
                     programs/tests/bottom.slam
                     programs/tests/catints.slam
                     programs/tests/cat.slam
                     programs/tests/eqList.slam
                     programs/tests/eq.slam
                     programs/tests/fibrec.slam
                     programs/tests/fib.slam
                     programs/tests/fibs.slam
                     programs/tests/id.slam
                     programs/tests/ioechochar.slam
                     programs/tests/iohello.slam
                     programs/tests/iowriteDec.slam
                     programs/tests/loop.slam
                     programs/tests/sub.slam
                     programs/tests/succ.slam
                     programs/tests/sum.slam
                     programs/tests/zerop.slam
                     programs/tests/zero.slam

source-repository head
  type:              git
  location:          git@github.com:pgavin/secdh.git

library
  hs-source-dirs:    lib
  exposed-modules:   Language.Slambda.Types
                     Language.Slambda.Util
                     Language.Slambda.Show
                     Language.Slambda.Read
                     SECDH.Types
                     SECDH.Show
                     SECDH.Eval
  build-depends:     base >= 4 && < 5, containers >= 0.4

executable secdh
  hs-source-dirs:    secdh
  main-is:           Main.hs
  build-depends:     base >= 4 && < 5, containers >= 0.4, secdh