2-coherence of truncation, newer Agda version, etc.#9
Merged
PHart3 merged 9 commits intomainfrom trunc_coherDec 16, 2024
+507-108
Commits
Commits on Dec 13, 2024
- committed
Commits on Dec 14, 2024
Commits on Dec 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed