Columbo aufrufen.sig zum Wurzelverzeichnis wechselnIsabelle {Isabelle[57] C[144] Ada[192]}Datei anzeigen
signature Example =
sig
type t
val a: t
val b: t -> t
end
[ Original von:0.54Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
