The sylvia package

[Tags: gpl, program]

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.


Versions0.2.0.1, 0.2.1, 0.2.2
Dependenciesbase (==4.*), cairo, comonad-transformers, data-default, data-lens, data-lens-template, gtk, optparse-applicative (==0.4.*), parsec (>=3.1.2 && <3.2), transformers, void (>=0.5.5 && <0.6)
Copyright2012 Chris Wong
AuthorChris Wong
Home page
Bug tracker
Source repositoryhead: git clone
UploadedMon Oct 22 04:19:50 UTC 2012 by ChrisWong
Downloads283 total (18 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 2 reports]


Maintainers' corner

For package maintainers and hackage trustees