Skip to content

[lang] Preliminary Coq support, core part with recursively qualified modules.#1968

Merged
ejgallego merged 2 commits intoocaml:masterfrom ejgallego:coq+recursiveMar 29, 2019
+494-10

Commits

Commits on Mar 28, 2019