Untersuchungsergebnis.out Download desLatech {Latech[98] Haskell[228] Abap[243]}zum Wurzelverzeichnis wechseln
foo = fun '(x, y) => x + y
: nat * nat -> nat
forall '(a, b), a /\ b
: Prop
foo = λ '(x, y), x + y
: nat * nat → nat
∀ '(a, b), a ∧ b
: Prop
[ zur Elbe Produktseite wechseln0.60Quellennavigators
]
