Skip to content
agda-unimath CI

Path-cosplittings of locally small types are locally small #8554

Sign in to view logs

Path-cosplittings of locally small types are locally small

Path-cosplittings of locally small types are locally small #8554

Annotations

1 warning

typecheck (macOS-13, 2.7.0)

typecheck (macOS-13, 2.7.0)
succeeded Jan 30, 2025 in 1m 11s