Skip to content

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

[WIP] migrating to GHC 8.10 and Coq 8.18.

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

Annotations

7 warnings

This job succeeded