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 http://dkeenan.com/Lambda for the theory behind this application.


Properties

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)
LicenseGPL
Copyright2012 Chris Wong
AuthorChris Wong
Maintainerchrisyco@gmail.com
CategoryGame
Home pagehttps://github.com/lfairy/sylvia
Bug trackerhttps://github.com/lfairy/sylvia/issues
Source repositoryhead: git clone https://github.com/lfairy/sylvia.git
Executablessylvia
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]

Downloads

Maintainers' corner

For package maintainers and hackage trustees