Spracherkennung für: .nix vermutete Sprache: Isabelle {Isabelle[26] C[97] Ada[159]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{ ocamlPackages }:
{
buildInputs = with ocamlPackages; [ ocaml findlib elpi ];
}
[ Dauer der Verarbeitung: 0.61 Sekunden
]