diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b878c65..92d0059 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -16,4 +16,4 @@ jobs:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
       - name: Build
-        run: nix build --verbose --print-build-logs
\ No newline at end of file
+        run: nix build --verbose --print-build-logs
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 44db522..c6f5d77 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -16,4 +16,4 @@ jobs:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
       - name: Build HTML
-        run: nix build --verbose --print-build-logs
\ No newline at end of file
+        run: nix build --verbose --print-build-logs
diff --git a/Makefile b/Makefile
index 0ab0fa3..158802d 100644
--- a/Makefile
+++ b/Makefile
@@ -17,4 +17,4 @@ clean:
 	find . -name '*.agdai' -exec rm \{\} \;
 
 profile: Everything.agda
-	agda ${RTSARGS} -v profile:7 -v profile.definitions:15 -i. Everything.agda
\ No newline at end of file
+	agda ${RTSARGS} -v profile:7 -v profile.definitions:15 -i. Everything.agda
diff --git a/agda-smash.agda-lib b/agda-smash.agda-lib
index fe57b9d..589ff75 100644
--- a/agda-smash.agda-lib
+++ b/agda-smash.agda-lib
@@ -1,3 +1,3 @@
 name: agda-smash
 depend: standard-library
-include: src/
\ No newline at end of file
+include: src/
diff --git a/flake.nix b/flake.nix
index fd1a077..11c1cf9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -30,4 +30,4 @@
         };
       }
     );
-}
\ No newline at end of file
+}