The sylvia package
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.
|Versions||0.2.0.1, 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]|
|Copyright||2012 Chris Wong|
|Source repo||head: git clone https://github.com/lfairy/sylvia.git|
|Uploaded||Mon Oct 22 04:19:50 UTC 2012 by ChrisWong|
|Downloads||1081 total (25 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs not available [build log]
All reported builds failed as of 2016-12-23 [all 8 reports]
Hackage Matrix CI
For package maintainers and hackage trustees