sylvia

The Simple Yuser-friendly Lambda Visualization Interaction Application (SYLVIA) is a unique way to manipulate untyped lambda calculus expressions, by representing them as boxes connected by wires. It is an implementation of an idea by Keenan (1996). See http://dkeenan.com/Lambda for the theory behind this application.


Keywords
game, gpl, program, Propose Tags
License
GPL-2.0+
Install
cabal install sylvia-0.2.2

Documentation

Sylvia

Sylvia is a logical puzzle game, based on a field of mathematics called lambda calculus. You start with a library of functions, and combine them together in various ways.

See the wiki for documentation.

Quick start

git clone git://github.com/lfairy/sylvia
cd sylvia
cabal configure
cabal install --only-dependencies
cabal build
dist/build/sylvia '\ 0 0'

See Building from source for more detailed instructions, and Examples for examples, of course.