name: secdh version: 0.1 x-revision: 1 synopsis: SECDH Machine Simulator homepage: http://github.org/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: http://abt12monk.org/git/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