chore: remove unneeded experimental.module option (#57)

kim-em · web-flow · commit 714fefede666 · 2025-12-16T11:12:41.000+11:00
diff --git a/lakefile.toml b/lakefile.toml
@@ -2,7 +2,6 @@ name = "plausible"
 version = "0.1.0"
 defaultTargets = ["Plausible"]
 testRunner = "Test"
-leanOptions = { experimental.module = true }
 
 [[lean_lib]]
 name = "Test"
