Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: mod_decl.v   Sprache: Coq

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.78Quellennavigators  ]