fix make juvix-format

Makefile

@@ -162,7 +162,6 @@ juvix-format: $(TOFORMAT)
 $(TOFORMAT): %:
 	@echo "Formatting $@"
 	@juvix dev scope $@ --with-comments > $@.tmp
-	@echo "" >> $@.tmp
 	@mv $@.tmp $@
 	@echo "Typechecking formatted $@"
 	@juvix typecheck $@ --only-errors

examples/demo/Demo.juvix

@@ -57,4 +57,3 @@ module Demo;
       >> printNatLn (log2 3)
       >> printNatLn (log2 130);
 end;
-

examples/milestone/Collatz/Collatz.juvix

@@ -40,4 +40,3 @@ module Collatz;
     printStringLn welcome
       >> readLn (run collatz ∘ stringToNat);
 end;
-

examples/milestone/Fibonacci/Fibonacci.juvix

@@ -11,4 +11,3 @@ module Fibonacci;
   main : IO;
   main := printNatLn (fibonacci 25);
 end;
-

examples/milestone/Hanoi/Hanoi.juvix

@@ -72,4 +72,3 @@ module Hanoi;
     printStringLn
       (unlines (map showMove (hanoi 5 left middle right)));
 end;
-

examples/milestone/HelloWorld/HelloWorld.juvix

@@ -5,4 +5,3 @@ module HelloWorld;
   main : IO;
   main := printStringLn "hello world!";
 end;
-

examples/milestone/PascalsTriangle/PascalsTriangle.juvix

@@ -57,4 +57,3 @@ module PascalsTriangle;
   main : IO;
   main := printStringLn (unlines (map showList (pascal 10)));
 end;
-

examples/milestone/TicTacToe/CLI/TicTacToe.juvix

@@ -48,4 +48,3 @@ module CLI.TicTacToe;
   main : IO;
   main := printStringLn welcome >> run beginState;
 end;
-

examples/milestone/TicTacToe/Logic/Board.juvix

@@ -36,4 +36,3 @@ module Logic.Board;
   showBoard (board squares) :=
     unlines (surround "+---+---+---+" (map showRow squares));
 end;
-

examples/milestone/TicTacToe/Logic/Extra.juvix

@@ -23,4 +23,3 @@ module Logic.Extra;
   unlines : List String → String;
   unlines := intercalate "\n";
 end;
-

examples/milestone/TicTacToe/Logic/Game.juvix

@@ -48,4 +48,3 @@ module Logic.Game;
   validMove : Nat → Maybe Nat;
   validMove n := if (n <= 9 && n >= 1) (just n) nothing;
 end;
-

examples/milestone/TicTacToe/Logic/GameState.juvix

@@ -48,4 +48,3 @@ module Logic.GameState;
   draw (state (board squares) _ _) :=
     null (possibleMoves (flatten squares));
 end;
-

examples/milestone/TicTacToe/Logic/Square.juvix

@@ -30,4 +30,3 @@ module Logic.Square;
       (empty n);
   replace _ _ s := s;
 end;
-

examples/milestone/TicTacToe/Logic/Symbol.juvix

@@ -25,4 +25,3 @@ module Logic.Symbol;
   showSymbol O := "O";
   showSymbol X := "X";
 end;
-

examples/milestone/TicTacToe/TicTacToe.juvix

@@ -2,4 +2,3 @@ module TicTacToe;
   import CLI.TicTacToe;
   import Web.TicTacToe;
 end;
-

examples/milestone/TicTacToe/Web/TicTacToe.juvix

@@ -173,4 +173,3 @@ module Web.TicTacToe;
     renderAndReturn
       (playMove (validMove (selectedSquare x y)) s);
 end;
-

examples/milestone/Tutorial/Tutorial.juvix

@@ -12,4 +12,3 @@ module Tutorial;
   main : IO;
   main := printStringLn "Hello world!";
 end;
-

examples/milestone/ValidityPredicates/Anoma/Base.juvix

@@ -80,4 +80,3 @@ module Anoma.Base;
   unwrap-default : Maybe Int → Int;
   unwrap-default := maybe Int_0 id;
 end;
-

examples/milestone/ValidityPredicates/Data/Int.juvix

@@ -17,4 +17,3 @@ module Data.Int;
     c ↦ "1";
   };
 end;
-

examples/milestone/ValidityPredicates/Data/Int/Ops.juvix

@@ -54,4 +54,3 @@ module Data.Int.Ops;
     c ↦ "plus";
   };
 end;
-

examples/milestone/ValidityPredicates/SimpleFungibleToken.juvix

@@ -50,4 +50,3 @@ module SimpleFungibleToken;
         (Int_0, true)
         keys-changed);
 end;
-

examples/milestone/ValidityPredicates/Tests.juvix

@@ -34,4 +34,3 @@ module Tests;
       >> printStringLn
         (show-result (vp token keys-changed verifiers));
 end;
-