Columbo aufrufen.nix zum Wurzelverzeichnis wechselnScala {Scala[70] Pl1[137] Lex[143]}Datei anzeigen
{ coq, unicoq }:
{
buildInputs = with coq.ocamlPackages; [ ocaml findlib camlp5 ];
coqBuildInputs = [ unicoq ];
configure = "./configure.sh";
}
[ Original von:0.60Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]