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:   Sprache: Unknown

Columbo aufrufen.out zum Wurzelverzeichnis wechselnText {Text[122] Haskell[234] Ada[375]}Datei anzeigen

Module N : S with Definition T := nat := M

Module N : S with Definition T := M

Module N : S with Module T := K := M

Module N : S with Module T := M

Module Type Func = Funsig (T0:Test) Sig Parameter x : T0.t. End

[ Original von:0.78Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]