[pull] main from B-Lang-org:main - #180

Merged

pull[bot] merged 4 commits into

chenm001:mainfrom

B-Lang-org:main

Jul 8, 2026

Commits on Jul 8, 2026

docs: add Terra repository as a way to install ghc-strict-concurrency packages

Owen-sz
authored and
kenta2
committed
reformat change to INSTALL.md to consistent line length
kenta2
committed
INSTALL.md: describe GHC support by the CI matrix

claude
authored and
kenta2
committed
INSTALL.md: pin the recommended GHC version literally; drop the newest-tested version

authored and
kenta2
committed