Skip to content

[WIP] migrating to GHC 8.10 and Coq 8.18.#205

Draft
lastland wants to merge 24 commits intomasterfrom ghc810

Commits

Commits on Jul 17, 2024

Commits on Jul 25, 2024

Commits on Jul 31, 2024

Commits on Aug 24, 2024