@hackage / sylvia

Lambda calculus visualization

Latest0.2.2

About

Metadata

  • Last updated , by ChrisWong
  • License LicenseRef-GPL
  • Categories Game Development

  • Maintained by: chrisyco@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.