Spracherkennung für: .in vermutete Sprache: Latech {Latech[88] HTML[160] Haskell[220]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#!/usr/bin/env bash
# Run in a proper install dune env.
case $1 in
checker)
exe=_build/default/checker/coqchk.bc
;;
*)
exe=_build/default/topbin/coqtop_byte_bin.bc
;;
esac
ocamldebug $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe
[ Dauer der Verarbeitung: 0.57 Sekunden
]
