Fixed dodgy whitespace and missing EOF newlines.

.github/workflows/scala.yml

@@ -18,7 +18,7 @@ jobs:
         include:
           - os: macos-latest
           - os: ubuntu-latest
-          - os: windows-latest     
+          - os: windows-latest
     steps:
     - uses: actions/checkout@v3
     - name: Set up JDK 17
@@ -31,4 +31,3 @@ jobs:
       run: sbt test
     - name: Run main
       run: sbt run
-

.gitignore

@@ -9,5 +9,3 @@ project
 .bsp
 *.cache
 build-info.scala
-
-

.pre-commit-config.yaml

@@ -0,0 +1,7 @@
+repos:
+-   repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v4.5.0
+    hooks:
+    -   id: trailing-whitespace
+    -   id: end-of-file-fixer
+    -   id: check-yaml

.scalafmt.conf

@@ -4,5 +4,3 @@ runner.dialect = scala3
 indent.main = 4
 align.preset = more
 maxColumn = 150
-
-

CITATION.cff

@@ -12,4 +12,3 @@ version: 0.2
 doi: 10.48550/arXiv.2302.10137
 date-released: 2023-02-20
 url: "https://github.com/martinberger/hol-c"
-

README.md

@@ -5,7 +5,7 @@
 an LCF-style interactive theorem prover for the HOL(C) logic
 introduced in the paper
 
->   *A modest proposal: explicit support for foundational pluralism*  
+>   *A modest proposal: explicit support for foundational pluralism*
 
 by [Dominic Mulligan](https://dominicpm.github.io/) and [Martin
 Berger](https://martinfriedrichberger.net/). The

src/main/scala/logic/Kinds.scala

@@ -4,7 +4,7 @@ sealed trait Kind
 case object TyKind                  extends Kind
 case class ConstructorKind(k: Kind) extends Kind
 
-given CanEqual[Kind, Kind] = CanEqual.derived 
+given CanEqual[Kind, Kind] = CanEqual.derived
 
 object TyFunctionKind:
     def apply(): Kind = ConstructorKind(TyKind)

src/main/scala/tactics/ProofState.scala

@@ -15,7 +15,7 @@ class ProofState(
     override def toString(): String = s"""
         +++++++++++++++++++++++++++++
         subgoals = \n${ProofState.subgoalToString(subgoals)}
-        selected = ${selected} (as names: ${ProofState.selectedGoalNames(this)})    
+        selected = ${selected} (as names: ${ProofState.selectedGoalNames(this)})
         all holeIDs = ${subgoals.keySet}
         +++++++++++++++++++++++++++++
     """

src/main/scala/tests/RuleTests.scala

@@ -2,4 +2,3 @@ package Prover
 
 object RuleTests:
     def run(): (Int, Int) = (0, 0)
-