Add optimise-heavily flag to Agda for WASM

andy0130tw · andy0130tw · commit 1c6425d30d0b · 2025-07-23T13:56:20.000+08:00
diff --git a/cabal.project.wasm32 b/cabal.project.wasm32
@@ -6,3 +6,5 @@ packages:
   wasm-submodules/network-simple-0.4.2
   wasm-submodules/lsp/lsp-types
 
+package Agda
+  flags: +optimise-heavily
