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.