8000 [ fix #7048 ] Only define hcomp constructors when --cubical-compatible. by andreasabel · Pull Request #7049 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[ fix #7048 ] Only define hcomp constructors when --cubical-compatible.#7049

Merged
andreasabel merged 1 commit intomasterfrom
issue-7048
Jan 5, 2024
Merged

[ fix #7048 ] Only define hcomp constructors when --cubical-compatible.#7049
andreasabel merged 1 commit intomasterfrom
issue-7048

Commits
0