sylvia: Lambda calculus visualization

[ game, program ] [ Propose Tags ]

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 for the theory behind this application.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS], 0.2.1, 0.2.2
Dependencies base (>=4 && <5), cairo, comonad-transformers, data-default, data-lens, data-lens-template, gtk, optparse-applicative (>=0.4 && <0.5), parsec (>=3.1.2 && <3.2), transformers, void (>=0.5.5 && <0.6) [details]
License LicenseRef-GPL
Copyright 2012 Chris Wong
Author Chris Wong
Category Game
Home page
Bug tracker
Source repo head: git clone
Uploaded by ChrisWong at 2012-10-22T04:19:50Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables sylvia
Downloads 2367 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-23 [all 8 reports]