Skip to content

Make it build with ghc-9.8 and update dependencies#328

Merged
bgamari merged 2 commits intowell-typed:masterfrom erikd:masterNov 14, 2023

Commits

Commits on Nov 12, 2023