format examples

anoma · Dec 6, 2024 · 8dde6bc · 8dde6bc
1 parent 8fad280
commit 8dde6bc
Show file tree

Hide file tree

Showing 15 changed files with 15 additions and 15 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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/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/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
@@ -5,5 +5,5 @@ import PackageDescription.V1 open;
 package : Package :=
   defaultPackage@{
     name := "abc";
-    dependencies := []
+    dependencies := [];
   };
diff --git 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/issue3068/Package.juvix b/tests/positive/issue3068/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "issue3068";
-    dependencies := []
+    dependencies := [];
   };