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

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]
License GPL
Copyright 2012 Chris Wong
Author Chris Wong
Maintainer chrisyco@gmail.com
Stability Unknown
Category Game
Home page https://github.com/lfairy/sylvia
Bug tracker https://github.com/lfairy/sylvia/issues
Source repository head: git clone https://github.com/lfairy/sylvia.git
Uploaded Mon Oct 22 04:19:50 UTC 2012 by ChrisWong
Distributions NixOS:0.2.2
Downloads 625 total (15 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 6 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees