Übung Lambda-Kalkül

• Konstruktor und Selektoren für Paare
• Test, ob der Nachfolger von 0 gleich 0 ist

  (mit λ mathend000#-kodierten Zahlen)

• Fakultät mittels Θ mathend000#

  (mit „echten`` Zahlen und Operationen)