Skip to content

Fix: Correct GHC optimization flag from -O4 to -O2#96

Merged
diskshima merged 1 commit intomainfrom
fix/correct-optimization-flags
Oct 12, 2025
Merged

Fix: Correct GHC optimization flag from -O4 to -O2#96
diskshima merged 1 commit intomainfrom
fix/correct-optimization-flags

Commits

Commits on Oct 12, 2025