| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
rahmenlose Ansicht.out DruckansichtLatech {Latech[98] Haskell[228] Abap[243]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] 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 [ Verzeichnis aufwärts0.52unsichere Verbindung ] |