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 : . @> [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 . { print : x } 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