let-Term: Typ-Highlighting in der Herleitung und Anwendung unterscheiden
z.B. bei der Eingabe von let id = λx.x in id 5
:
ist das α₃ rechts durch den Allquantor gebunden, aber links nicht.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
z.B. bei der Eingabe von let id = λx.x in id 5
:
ist das α₃ rechts durch den Allquantor gebunden, aber links nicht.