packages feed

gulcii-0.2.0.3: gulcii.cabal

Name:               gulcii
Version:            0.2.0.3
Synopsis:           graphical untyped lambda calculus interactive interpreter
Description:
  GULCII is an untyped lambda calculus interpreter supporting interactive
  modification of a running program with graphical display of graph reduction.
  .
  There are three variants of lambda abstraction: lazy, strict, and copy:
  .
  @> \x . f x x    -- x is evaluated lazily with sharing@
  @> \x ! f x x    -- x is evaluated strictly and shared@
  @> \x ? f x x    -- x is copied before any evaluation@
  .
  There is additional syntax sugar for natural numbers and lists, using
  <http://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding#Scott_encoding>:
  .
  @> [0,1,2,3]@
  .
  There is a small standard library based loosely around the Haskell Prelude,
  with additions geared towards MIDI generation for live-coding music, implemented
  using a mechanism similar to 'Debug.Trace.trace':
  .
  @> \x y . &#123; print : x &#125; y@
  .
  Quick start:
  .
  > gulcii
  > :load mars
  > main
  > :quit
  .
  If you have Pure-data and Timidity, try:
  .
  > timidity -iA -Oj &
  > pd -alsamidi ~/.cabal/share/gulcii-0.2.0.3/extra/fudi2midi.pd &
  > gulcii | pdsend 8765
  .
  See also: live-sequencer which has many more features (but no sharing during
  evaluation).

Homepage:           http://code.mathr.co.uk/gulcii
License:            GPL-2
License-file:       LICENSE
Author:             Claude Heiland-Allen
Maintainer:         claude@mathr.co.uk
Category:           Sound, Music, GUI
Build-type:         Simple
Cabal-version:      >=1.6
Tested-With:        GHC==7.6.3, GHC==7.8.2

Data-files:         extra/fudi2midi.pd,
                    lib/bits.gu,
                    lib/bool.gu,
                    lib/either.gu,
                    lib/event.gu,
                    lib/function.gu,
                    lib/list.gu,
                    lib/maybe.gu,
                    lib/midi.gu,
                    lib/natural.gu,
                    lib/pair.gu,
                    lib/prelude.gu,
                    lib/mars.gu

Executable gulcii
  HS-source-dirs:   src
  Main-is:          Main.hs
  Build-depends:    base >= 3 && < 6,
                    containers >= 0.3 && < 0.6,
                    filepath >= 1.1 && < 1.4,
                    gtk >= 0.11 && < 0.14,
                    cairo >= 0.11 && < 0.14
  Other-modules:    Bruijn Command Draw Evaluation Graph Lambda Layout Meta Parse Sugar
  ghc-options:      -Wall -threaded -rtsopts
--  ghc-prof-options: -prof -auto-all -caf-all

Source-Repository head
  Type: git
  Location: http://code.mathr.co.uk/gulcii.git

Source-Repository this
  Type: git
  Tag: v0.2.0.3
  Location: http://code.mathr.co.uk/gulcii.git