products/Sources/formale Sprachen/Coq/coqpp/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: dune   Sprache: Unknown

(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)

(executable
 (name coqpp_main)
 (public_name coqpp)
 (package coq)
 (modules coqpp_ast coqpp_lex coqpp_parse coqpp_main)
 (modules_without_implementation coqpp_ast))

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]