# Fragen

### [ss18 A3 a)] Ist es egal, ob man `lt(_X,leaf).` oder `lt(_,leaf).` schreibt?

### [Lambda Kalkül] Gegeben `X a`. Ich weiß, dass `X = A B`. Darf ich jetzt bei `A B a` auch zuerst `B a` auswerten?