Columbo aufrufen.nix zum Wurzelverzeichnis wechselnShell {Shell[68] Isabelle[91] HTML[121]}Datei anzeigen
{ ocamlPackages }:
{
buildInputs = with ocamlPackages; [ ocaml findlib menhir ];
configure = "./configure -ignore-coq-version x86_64-linux";
make = "make all check-proof";
}
[ Original von:0.60Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]