Skip to content

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

Merged
pull[bot] merged 4 commits into
chenm001:mainfrom
B-Lang-org:main
Jul 8, 2026
Merged

[pull] main from B-Lang-org:main#180
pull[bot] merged 4 commits into
chenm001:mainfrom
B-Lang-org:main

INSTALL.md: pin the recommended GHC version literally; drop the newes…

d2f996c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check: code cleanliness
succeeded Jul 8, 2026 in 7s