Without K¶
See Cubical compatible.
The option --without-K
was renamed to --cubical-compatible
in Agda
2.6.3. It is retained for backwards compatibility. See Issue #5843.
See Cubical compatible.
The option --without-K
was renamed to --cubical-compatible
in Agda
2.6.3. It is retained for backwards compatibility. See Issue #5843.