sylvia
Version 0.2.2 revision 0 uploaded by ChrisWong.
Package meta
- Synopsis
- Lambda calculus visualization
- Description
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.
- Author
- Chris Wong
- Bug reports
- https://github.com/lfairy/sylvia/issues
- Category
- Game
- Copyright
- 2012 Chris Wong
- Homepage
- https://github.com/lfairy/sylvia
- Maintainer
- chrisyco@gmail.com
- Package URL
- n/a
- Stability
- n/a