|
(library
(name interp)
(synopsis "Rocq's Syntactic Interpretation for AST [notations, implicits]")
(public_name rocq-runtime.interp)
(wrapped false)
(modules_without_implementation constrexpr notation_term)
(libraries zarith pretyping gramlib))
(deprecated_library_name
(old_public_name coq-core.interp)
(new_public_name rocq-runtime.interp))
[ Verzeichnis aufwärts0.14unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
