diff --git a/examples/demo/Package.juvix b/examples/demo/Package.juvix
index 95fc82192b..d9029b8fc0 100644
--- a/examples/demo/Package.juvix
+++ b/examples/demo/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "Demo";
-    version := mkVersion 0 1 0
+    version := mkVersion 0 1 0;
   };
diff --git a/examples/midsquare/Package.juvix b/examples/midsquare/Package.juvix
index 564be67861..217909f466 100644
--- a/examples/midsquare/Package.juvix
+++ b/examples/midsquare/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "midsquare";
-    version := mkVersion 0 1 0
+    version := mkVersion 0 1 0;
   };
diff --git a/examples/milestone/Bank/Package.juvix b/examples/milestone/Bank/Package.juvix
index f0b0d1db0f..486f8f7934 100644
--- a/examples/milestone/Bank/Package.juvix
+++ b/examples/milestone/Bank/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "bank"
+    name := "bank";
   };
diff --git a/examples/milestone/Collatz/Package.juvix b/examples/milestone/Collatz/Package.juvix
index 87fe97ccb4..63306e4874 100644
--- a/examples/milestone/Collatz/Package.juvix
+++ b/examples/milestone/Collatz/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "Collatz";
     version := mkVersion 0 1 0;
-    main := just "Collatz.juvix"
+    main := just "Collatz.juvix";
   };
diff --git a/examples/milestone/Fibonacci/Package.juvix b/examples/milestone/Fibonacci/Package.juvix
index eb009b9675..8753d25693 100644
--- a/examples/milestone/Fibonacci/Package.juvix
+++ b/examples/milestone/Fibonacci/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "Fibonacci";
     version := mkVersion 0 1 0;
-    main := just "Fibonacci.juvix"
+    main := just "Fibonacci.juvix";
   };
diff --git a/examples/milestone/Hanoi/Package.juvix b/examples/milestone/Hanoi/Package.juvix
index 4588aeb0f1..44ddf4a48a 100644
--- a/examples/milestone/Hanoi/Package.juvix
+++ b/examples/milestone/Hanoi/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "Hanoi";
     version := mkVersion 0 1 0;
-    main := just "Hanoi.juvix"
+    main := just "Hanoi.juvix";
   };
diff --git a/examples/milestone/HelloWorld/Package.juvix b/examples/milestone/HelloWorld/Package.juvix
index 7960036eaf..7dd0c6c3d1 100644
--- a/examples/milestone/HelloWorld/Package.juvix
+++ b/examples/milestone/HelloWorld/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "HelloWorld";
     version := mkVersion 0 1 0;
-    main := just "HelloWorld.juvix"
+    main := just "HelloWorld.juvix";
   };
diff --git a/examples/milestone/PascalsTriangle/Package.juvix b/examples/milestone/PascalsTriangle/Package.juvix
index a740b3e86b..e12e168ce2 100644
--- a/examples/milestone/PascalsTriangle/Package.juvix
+++ b/examples/milestone/PascalsTriangle/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "PascalsTriangle";
     version := mkVersion 0 1 0;
-    main := just "PascalsTriangle.juvix"
+    main := just "PascalsTriangle.juvix";
   };
diff --git a/examples/milestone/TicTacToe/Package.juvix b/examples/milestone/TicTacToe/Package.juvix
index ff3cda7035..82381af4e4 100644
--- a/examples/milestone/TicTacToe/Package.juvix
+++ b/examples/milestone/TicTacToe/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "TicTacToe";
     version := mkVersion 0 1 0;
-    main := just "CLI/TicTacToe.juvix"
+    main := just "CLI/TicTacToe.juvix";
   };
diff --git a/examples/milestone/Tutorial/Package.juvix b/examples/milestone/Tutorial/Package.juvix
index 3c4a4a3ec4..95cec242f3 100644
--- a/examples/milestone/Tutorial/Package.juvix
+++ b/examples/milestone/Tutorial/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "Tutorial";
-    version := mkVersion 0 1 0
+    version := mkVersion 0 1 0;
   };
diff --git a/tests/positive/ConfluentScoping/Package.juvix b/tests/positive/ConfluentScoping/Package.juvix
index 2bf8b10d1e..f3af67c259 100644
--- a/tests/positive/ConfluentScoping/Package.juvix
+++ b/tests/positive/ConfluentScoping/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "confluentscoping"
+    name := "confluentscoping";
   };
diff --git a/tests/positive/ImportNestedLocalModule/Package.juvix b/tests/positive/ImportNestedLocalModule/Package.juvix
index 59641083b1..4de07c350c 100644
--- a/tests/positive/ImportNestedLocalModule/Package.juvix
+++ b/tests/positive/ImportNestedLocalModule/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "test074"
+    name := "test074";
   };
diff --git a/tests/positive/Internal/Positivity2/Package.juvix b/tests/positive/Internal/Positivity2/Package.juvix
index dc768cdde3..33449260cf 100644
--- a/tests/positive/Internal/Positivity2/Package.juvix
+++ b/tests/positive/Internal/Positivity2/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "positivity2";
-    dependencies := []
+    dependencies := [];
   };
diff --git a/tests/positive/Isabelle/Package.juvix b/tests/positive/Isabelle/Package.juvix
index b692045cc2..6a4780b23f 100644
--- a/tests/positive/Isabelle/Package.juvix
+++ b/tests/positive/Isabelle/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "isabelle"
+    name := "isabelle";
   };
diff --git a/tests/positive/MarkdownImport/Package.juvix b/tests/positive/MarkdownImport/Package.juvix
index b1daecbbdc..c08092dd94 100644
--- a/tests/positive/MarkdownImport/Package.juvix
+++ b/tests/positive/MarkdownImport/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "MarkdownImport"
+    name := "MarkdownImport";
   };
diff --git a/tests/positive/NoDependencies/Package.juvix b/tests/positive/NoDependencies/Package.juvix
index a6223b86a4..bd372737fc 100644
--- a/tests/positive/NoDependencies/Package.juvix
+++ b/tests/positive/NoDependencies/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    dependencies := []
+    dependencies := [];
   };
diff --git a/tests/positive/PackageLoader/PackageJuvix/Package.juvix b/tests/positive/PackageLoader/PackageJuvix/Package.juvix
index 4560e71afe..49f7b9a028 100644
--- a/tests/positive/PackageLoader/PackageJuvix/Package.juvix
+++ b/tests/positive/PackageLoader/PackageJuvix/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V1 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "package-juvix"
+    name := "package-juvix";
   };
diff --git a/tests/positive/PackageLoader/PackageJuvixAndYaml/Package.juvix b/tests/positive/PackageLoader/PackageJuvixAndYaml/Package.juvix
index 4560e71afe..49f7b9a028 100644
--- a/tests/positive/PackageLoader/PackageJuvixAndYaml/Package.juvix
+++ b/tests/positive/PackageLoader/PackageJuvixAndYaml/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V1 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "package-juvix"
+    name := "package-juvix";
   };
diff --git a/tests/positive/PackageLoader/PackageJuvixEmptyDependencies/Package.juvix b/tests/positive/PackageLoader/PackageJuvixEmptyDependencies/Package.juvix
index cfc67ae272..ccc1d23494 100644
--- a/tests/positive/PackageLoader/PackageJuvixEmptyDependencies/Package.juvix
+++ b/tests/positive/PackageLoader/PackageJuvixEmptyDependencies/Package.juvix
@@ -6,5 +6,5 @@ import PackageDescription.V1 open;
 package : Package :=
   defaultPackage@?{
     name := "package-juvix";
-    dependencies := []
+    dependencies := [];
   };
diff --git a/tests/positive/PackageLoader/YamlEmptyDependencies/Package.juvix b/tests/positive/PackageLoader/YamlEmptyDependencies/Package.juvix
index 8991581597..6e02680e69 100644
--- a/tests/positive/PackageLoader/YamlEmptyDependencies/Package.juvix
+++ b/tests/positive/PackageLoader/YamlEmptyDependencies/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V1 open;
 package : Package :=
   defaultPackage@?{
     name := "abc";
-    dependencies := []
+    dependencies := [];
   };
diff --git a/tests/positive/PackageLoaderV2/PackageJuvix/Package.juvix b/tests/positive/PackageLoaderV2/PackageJuvix/Package.juvix
index efff5ba9b1..6ed1d629e6 100644
--- a/tests/positive/PackageLoaderV2/PackageJuvix/Package.juvix
+++ b/tests/positive/PackageLoaderV2/PackageJuvix/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "package-juvix"
+    name := "package-juvix";
   };
diff --git a/tests/positive/PackageLoaderV2/PackageJuvixAndYaml/Package.juvix b/tests/positive/PackageLoaderV2/PackageJuvixAndYaml/Package.juvix
index efff5ba9b1..6ed1d629e6 100644
--- a/tests/positive/PackageLoaderV2/PackageJuvixAndYaml/Package.juvix
+++ b/tests/positive/PackageLoaderV2/PackageJuvixAndYaml/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "package-juvix"
+    name := "package-juvix";
   };
diff --git a/tests/positive/PackageLoaderV2/PackageJuvixEmptyDependencies/Package.juvix b/tests/positive/PackageLoaderV2/PackageJuvixEmptyDependencies/Package.juvix
index 61853bf96b..8433bbaefd 100644
--- a/tests/positive/PackageLoaderV2/PackageJuvixEmptyDependencies/Package.juvix
+++ b/tests/positive/PackageLoaderV2/PackageJuvixEmptyDependencies/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "package-juvix";
-    dependencies := []
+    dependencies := [];
   };
diff --git a/tests/positive/StdlibList/Package.juvix b/tests/positive/StdlibList/Package.juvix
index a6223b86a4..bd372737fc 100644
--- a/tests/positive/StdlibList/Package.juvix
+++ b/tests/positive/StdlibList/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    dependencies := []
+    dependencies := [];
   };
diff --git a/tests/positive/VisibilityPrecendence/Package.juvix b/tests/positive/VisibilityPrecendence/Package.juvix
index 0027a3bac2..70cfe0e4f6 100644
--- a/tests/positive/VisibilityPrecendence/Package.juvix
+++ b/tests/positive/VisibilityPrecendence/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "test075"
+    name := "test075";
   };
diff --git a/tests/positive/issue2737/Package.juvix b/tests/positive/issue2737/Package.juvix
index 6a54fa0cd3..271e86209d 100644
--- a/tests/positive/issue2737/Package.juvix
+++ b/tests/positive/issue2737/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "issue2737"
+    name := "issue2737";
   };
diff --git a/tests/positive/issue2929/Package.juvix b/tests/positive/issue2929/Package.juvix
index ec550a11f2..d4a95bf0a1 100644
--- a/tests/positive/issue2929/Package.juvix
+++ b/tests/positive/issue2929/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "issue2929"
+    name := "issue2929";
   };
diff --git a/tests/positive/issue3048/Package.juvix b/tests/positive/issue3048/Package.juvix
index f04d2d888f..d6dc900c64 100644
--- a/tests/positive/issue3048/Package.juvix
+++ b/tests/positive/issue3048/Package.juvix
@@ -4,5 +4,5 @@ import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage@?{
-    name := "issue3048"
+    name := "issue3048";
   };
diff --git a/tests/positive/issue3068/Package.juvix b/tests/positive/issue3068/Package.juvix
index bbc6001160..ccc3c21cb8 100644
--- a/tests/positive/issue3068/Package.juvix
+++ b/tests/positive/issue3068/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "issue3068";
-    dependencies := []
+    dependencies := [];
   };