All Projects â†’ lambda-fairy â†’ sylvia

lambda-fairy / sylvia

Licence: GPL-3.0 license
🌲 Logic puzzle game based on the lambda calculus

Programming Languages

haskell
3896 projects

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].