Index of /~lloyd/tildeFP/LML/semantics.LFP/Examples

      Name                    Last modified       Size  Description

[DIR] Parent Directory 21-Jun-2002 15:29 - [   ] append.fp 25-Jan-2000 11:22 1k [   ] appendR.lfp 25-Jan-2000 11:22 1k [   ] appendR2.lfp 25-Jan-2000 11:22 1k [   ] fact.fp 25-Jan-2000 11:22 1k [   ] length.lfp 25-Jan-2000 11:22 1k [   ] listeq.lfp 25-Jan-2000 11:22 1k [   ] member.lfp 25-Jan-2000 11:22 1k [   ] nested.lfp 25-Jan-2000 11:22 1k [   ] prefix.lfp 25-Jan-2000 11:22 1k [   ] prefix2.lfp 25-Jan-2000 11:22 1k [   ] seq.lfp 25-Jan-2000 11:22 1k

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.