Quellcode-Bibliothek

^© Kompilation durch diese Firma

(library
(name pretyping)
(synopsis "Coq's Type Inference Component (Pretyper)")
(public_name coq.pretyping)
(wrapped false)
(libraries engine))

zum Wurzelverzeichnis wechseln Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln sprechenden Kalenders
in der Quellcodebibliothek suchen

Fehler beim Verzeichnis:

Die farbliche Syntaxdarstellung ist noch experimentell.