sylvia: Lambda calculus visualization

[ game, program ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2.0.1, 0.2.1, 0.2.2
Dependencies base (>=4 && <5), cairo, comonad-transformers, data-default, data-lens, data-lens-template, gtk, optparse-applicative (>=0.4 && <0.5), parsec (>=3.1.2 && <3.2), transformers, void (>=0.5.5 && <0.6) [details]
License LicenseRef-GPL
Copyright 2012 Chris Wong
Author Chris Wong
Maintainer chrisyco@gmail.com
Category Game
Home page https://github.com/lfairy/sylvia
Bug tracker https://github.com/lfairy/sylvia/issues
Source repo head: git clone https://github.com/lfairy/sylvia.git
Uploaded by ChrisWong at 2012-10-22T04:19:50Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables sylvia
Downloads 2393 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-23 [all 8 reports]