The sylvia package

[ Tags: game, gpl, 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.

Properties

Versions 0.2.0.1, 0.2.1, 0.2.2
Dependencies base (==4.*), cairo, data-default, gtk, parsec (>=3.1.2 && <3.2), transformers, void (>=0.5.5 && <0.6) [details]
License GPL
Copyright 2011 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 repository head: git clone https://github.com/lfairy/sylvia.git
Uploaded Mon Sep 3 07:53:31 UTC 2012 by ChrisWong
Distributions NixOS:0.2.2
Executables sylvia
Downloads 719 total (3 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-06-08 [all 7 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees