Skip to content

Support up to GHC 9.8, enable CI#11

Merged
edsko merged 2 commits intomasterfrom
edsko/9.8
Nov 8, 2023
Merged

Support up to GHC 9.8, enable CI#11
edsko merged 2 commits intomasterfrom
edsko/9.8

Commits

Commits on Oct 22, 2023

Commits on Nov 8, 2023