![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | seq.lfp | 2017-02-21 14:02 | 678 | |
![]() | prefix2.lfp | 2017-02-21 14:02 | 400 | |
![]() | prefix.lfp | 2017-02-21 14:02 | 313 | |
![]() | nested.lfp | 2017-02-21 14:02 | 345 | |
![]() | member.lfp | 2017-02-21 14:02 | 154 | |
![]() | listeq.lfp | 2017-02-21 14:02 | 209 | |
![]() | length.lfp | 2017-02-21 14:02 | 105 | |
![]() | fact.fp | 2017-02-21 14:02 | 334 | |
![]() | appendR2.lfp | 2017-02-21 14:02 | 369 | |
![]() | appendR.lfp | 2017-02-21 14:02 | 364 | |
![]() | append.fp | 2017-02-21 14:02 | 184 | |
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.