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 . { 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