Lambda calculus visualization

Latest on Hackage:0.2.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

GPL licensed by Chris Wong
Maintained by

**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://
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.

[Building from source]:
comments powered byDisqus