Lambda calculus visualization https://github.com/lfairy/sylvia
|Latest on Hackage:||0.2.2|
**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.
git clone git://github.com/lfairy/sylvia
cabal install --only-dependencies
dist/build/sylvia '\ 0 0'
See [Building from source] for more detailed instructions, and
[Examples] for examples, of course.
[Building from source]: https://github.com/lfairy/sylvia/wiki/Building-from-source