home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-01-02 | 722 b | 13 lines | [TEXT/ttxt] |
- This folder contains various example files:
-
- - "Church numerals" is a Help encoding of the well-known lambda-calculus
- Alonozo Church's numerals and various operations…
- - "Examples" contains various usual examples, from the building of the
- list of all primes numbers to paradoxical combinators…
- - Memoizing defines some function and a macro to define
- "memo-functions" that cache their results and thus greatly enhancing
- efficiency of highly redundant functions.
- - "Gabriel Benchs" contains two benchmarks from Gabriel.
- - "Multiple values" contains some simple code to emulate multiple values.
- - " Unknown values" contains two examples of "unknown values"
- programming !