Skip to content

replace 9.6.6 with 9.6.7#183

Merged
inariksit merged 3 commits intoGrammaticalFramework:masterfrom
inariksit:ghc-9.6.7
Aug 2, 2025
Merged

replace 9.6.6 with 9.6.7#183
inariksit merged 3 commits intoGrammaticalFramework:masterfrom
inariksit:ghc-9.6.7

Commits

Commits on Aug 2, 2025