products/sources/formale Sprachen/PVS/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: shell.nix   Sprache: Unknown

Spracherkennung für: .nix vermutete Sprache: Shell {Shell[206] Python[328] Postscript[400]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

# If you want to use a more sophisticated set of arguments:
# $ nix-shell default.nix --arg shell true
import ./default.nix { shell = true; }

[ Dauer der Verarbeitung: 0.63 Sekunden  ]