The sylvia package

[Tags:gpl, program, test]

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.


Versions, 0.2.1, 0.2.2
Dependencies base (==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) [details]
License GPL
Copyright 2012 Chris Wong
Author Chris Wong
Stability Unknown
Category Game
Home page
Bug tracker
Source repository head: git clone
Uploaded Mon Oct 22 04:19:50 UTC 2012 by ChrisWong
Distributions NixOS:0.2.2
Downloads 643 total (6 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 6 reports]


Maintainer's Corner

For package maintainers and hackage trustees