Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
append.fp | 2017-02-21 14:02 | 184 | ||
appendR.lfp | 2017-02-21 14:02 | 364 | ||
appendR2.lfp | 2017-02-21 14:02 | 369 | ||
fact.fp | 2017-02-21 14:02 | 334 | ||
length.lfp | 2017-02-21 14:02 | 105 | ||
listeq.lfp | 2017-02-21 14:02 | 209 | ||
member.lfp | 2017-02-21 14:02 | 154 | ||
nested.lfp | 2017-02-21 14:02 | 345 | ||
prefix.lfp | 2017-02-21 14:02 | 313 | ||
prefix2.lfp | 2017-02-21 14:02 | 400 | ||
seq.lfp | 2017-02-21 14:02 | 678 | ||
All files copyright © L. Allison / 1994
You need to look in [LambdaLog] to make sense of these programs. The interpreter will sometimes give an incorrect answer - some examples have been designed to make that happen.