| <html> |
| <head> |
| <title>Lambda - Unique Software Designs</title> |
| <meta content="text/html; charset=UTF-8" http-equiv="Content-Type" /> |
| <style> |
| <!-- |
| dt.outer { font-weight: bold; font-size: larger; color: blue; } |
| dt.inner { font-weight: bold; color: black; } |
| dt { font-weight: bold; color: sienna; } |
| --> |
| </style> |
| </head> |
| <body> |
| <h3>Datamaster Project</h3> |
| Lambda is a lambda calculus interpret. |
| It also will convert lambda expression into the |
| combinators S, K, and I. |
| <dl> |
| <dt class="outer">About</dt> |
| <dd class="outer"> |
| <dl class="inner"> |
| <dt class="inner">Current features:</dt> |
| <dd class="inner"> |
| <ul> |
| <li>Load predefined lambda expression</li> |
| <li>Many definitions provided: |
| numbers Y fact map iszero list 1st 2nd 3rd |
| ADD MUL EXP |
| list suc pred . . . |
| </li> |
| <li>Automatic number definitions.</li> |
| <li>Interpret lambda expressions.</li> |
| <li>Single step interpretation.</li> |
| <li>Normal or application order reductions.</li> |
| <li>Variable extraction (Conversion to S K I)</li> |
| <li>List definitions.</li> |
| <li>Some lambda calculus theory.</li> |
| </ul> |
| </dd> |
| <dt class="inner">Current version</dt> |
| <dd class="inner">Lambda-0.1.1.</dd> |
| |
| <dt class="inner">License</dt> |
| <dd class="inner"> |
| Lambda is distributed as free software under GPL. |
| </dd> |
| </dl> |
| </dd> |
| |
| <dt class="outer">News</dt> |
| <dd class="outer"> |
| <dl> |
| <dt class="inner">Aug 19, 2003</dt> |
| <dd class="inner">Released Version 0.1.3. |
| <ul> |
| <li>Add xapp flag for ext command.</li> |
| <li>Made ext behave consistently when extracting constant expressions.</li> |
| <li>Add preprocessing for user manual. |
| This automatically inserts a table of contents |
| and does character entity translations.</li> |
| </ul> |
| </dd> |
| <dt class="inner">Aug 18, 2003</dt> |
| <dd class="inner">Released Version 0.1.2. |
| Added documentation: |
| <ul> |
| <li>Include examples for numbers.</li> |
| <li>Lists</li> |
| <li>Functional Completeness.</li> |
| </ul> |
| </dd> |
| |
| <dt class="inner">Aug 17, 2003</dt> |
| <dd class="inner">Correction to definition of: |
| <code>ext x lambda-exp</code></dd> |
| <dt class="inner">Aug 15, 2003</dt> |
| <dd class="inner">Released version 0.1.1.</dd> |
| </dl> |
| </dd> |
| |
| <dt class="outer">Documentation</dt> |
| <dd class="outer"> |
| <a href="lambdamanual.html">User Manual.</a> |
| </dd> |
| |
| <dt class="outer">Requirements</dt> |
| <dd class="outer"> |
| The following software is required: |
| <ul> |
| <li>libstdc++</li> |
| </ul> |
| </dd> |
| |
| <dt class="outer">Download</dt> |
| <dd class="outer"> |
| <a href="http://www.uniquesoftwaredesign.com/~demo/lambda/lambda-0.1.3.tar.gz">Download Source</a> |
| </dd> |
| |
| <dt class="outer">ChangeLog</dt> |
| <dd class="outer"> |
| <a href="http://www.uniquesoftwaredesign.com/~demo/lambda/ChangeLog">ChangeLog</a> |
| </dd> |
| |
| <dt class="outer">Contact</dt> |
| <dd class="outer"> |
| <a href="mailto:usdesign@earthlink.net">usdesign@earthlink.net</a> |
| </dd> |
| </dl> |
| </body> |
| </html> |
