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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]append.fp2017-02-21 14:02 184  
[   ]appendR.lfp2017-02-21 14:02 364  
[   ]appendR2.lfp2017-02-21 14:02 369  
[   ]fact.fp2017-02-21 14:02 334  
[   ]length.lfp2017-02-21 14:02 105  
[   ]listeq.lfp2017-02-21 14:02 209  
[   ]member.lfp2017-02-21 14:02 154  
[   ]nested.lfp2017-02-21 14:02 345  
[   ]prefix.lfp2017-02-21 14:02 313  
[   ]prefix2.lfp2017-02-21 14:02 400  
[   ]seq.lfp2017-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.