Ich versuche, eine stack -Datenstruktur im Lambda-Kalkül zu definieren, indem ich Festkomma-Kombinatoren verwende. Ich versuche, zwei Operationen zu definieren, insertion und removal der Elemente, also, push und pop , aber die einz...
24.12.2012, 00:58