Columbo aufrufen.out zum Wurzelverzeichnis wechselnUnknown {[0] [0] [0]}Datei anzeigen
Ltac t := ltac2:(print (of_string "hi"))
Ltac u := ident:(H)
[ Original von:0.75Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
