Index of /ODSA/RST/en/PL/

../
AlphaConversion.rst                                13-Jan-2026 20:58                6719
BetaReduction.rst                                  13-Jan-2026 20:58                4494
ChurchNumerals.rst                                 13-Jan-2026 20:58                5104
Environment.rst                                    13-Jan-2026 20:58                5928
FP1.rst                                            13-Jan-2026 20:58                7546
FP2.rst                                            13-Jan-2026 20:58                5999
FP3.rst                                            13-Jan-2026 20:58                5524
FP4.rst                                            13-Jan-2026 20:58                3399
FP5.rst                                            13-Jan-2026 20:58                9635
FP6.rst                                            13-Jan-2026 20:58                6933
FP7.rst                                            13-Jan-2026 20:58                5499
FP8.rst                                            13-Jan-2026 20:58                2708
FP9.rst                                            13-Jan-2026 20:58               11602
FreeBoundVariables.rst                             13-Jan-2026 20:58                9077
Grammars1.rst                                      13-Jan-2026 20:58                5917
Grammars2.rst                                      13-Jan-2026 20:58                3918
Grammars3.rst                                      13-Jan-2026 20:58                7746
Grammars4.rst                                      13-Jan-2026 20:58                6117
Grammars5.rst                                      13-Jan-2026 20:58                5215
LCSemantics.rst                                    13-Jan-2026 20:58                8517
LCSyntax.rst                                       13-Jan-2026 20:58                6054
LazyLists.rst                                      13-Jan-2026 20:58               12309
ListDataStructure.rst                              13-Jan-2026 20:58                 448
PL_Glossary.rst                                    13-Jan-2026 20:58                2130
README.md                                          19-Aug-2021 03:22                 183
RecursiveFunctions.rst                             13-Jan-2026 20:58                7822
ReductionStrategies.rst                            13-Jan-2026 20:58                8689
SLang1.rst                                         13-Jan-2026 20:58                8066
SLang1Interpreter.rst                              13-Jan-2026 20:58                 795
SLang1InterpreterModifications.rst                 13-Jan-2026 20:58                2223
SLang1InterpreterReview.rst                        13-Jan-2026 20:58                 578
SLang1withLetExpressions.rst                       13-Jan-2026 20:58                4732
SLang2.rst                                         13-Jan-2026 20:58                4342
SLang2ParameterPassing.rst                         13-Jan-2026 20:58               16444
SLang2TTK.rst                                      13-Jan-2026 20:58                2272
SLang3abstractSyntax.rst                           13-Jan-2026 20:58                 632
SLang3concreteSyntax.rst                           13-Jan-2026 20:58                 603
SLang3interpreter.rst                              13-Jan-2026 20:58                 652
SLang3objects.rst                                  13-Jan-2026 20:58                 679
SLang3reviewOfOOP.rst                              13-Jan-2026 20:58                 894
Substitution.rst                                   13-Jan-2026 20:58                8961
TypeInference.rst                                  13-Jan-2026 20:58               12419
TypeSystems.rst                                    13-Jan-2026 20:58               12292