products/sources/formale Sprachen/Coq/test-suite/misc/poly-capture-global-univs/src image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Unknown

Columbo aufrufen.mlg zum Wurzelverzeichnis wechselnIsabelle {Isabelle[78] Cobol[160] C[168]}Datei anzeigen

{
open Stdarg
open EvilImpl
}

DECLARE PLUGIN "evil_plugin"

VERNAC COMMAND EXTEND VernacEvil CLASSIFIED AS SIDEFF
| [ "Evil" ident(x) ident(y) ] -> { evil x y }
END

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