products/sources/formale sprachen/Coq/dev/ci/nix image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Unknown

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.  ]