Lambda is a lambda calculus interpreter. It also will convert lambda expression into the combinators S, K, and I. Current features: * Load predefined lambda expression * Many definitions provided: numbers Y fact map iszero list 1st 2nd 3rd ADD MUL EXP list suc pred . . . * Automatic number definitions. * Interpret lambda expressions. * Single step interpretation. * Normal or application order reductions. * Variable extraction (Conversion to S K I) * List definitions. * Some lambda calculus theory. WWW: http://66.47.116.75/~demo/lambda/ ository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/databases/mysql-connector-java
Commit message (Expand)AuthorAgeFilesLines
* Update to 5.1.31matthew2014-06-082-3/+3
* Update to 5.1.30matthew2014-03-302-3/+3
* Remove trailing whitespaces from category databasesehaupt2014-02-211-1/+1
* According to the Porter's Handbook (5.12.2.3.) default options must be added toehaupt2014-02-10