Merge pull request #6 from Deric-W/python3.12

Python3.12

Author: Deric-W

.github/workflows/Tests.yaml

@@ -6,7 +6,7 @@ jobs:
   Test:
     strategy:
       matrix:
-        python-version: ["3.10", "3.11"]
+        python-version: ["3.10", "3.11", "3.12"]
         os: [ubuntu-latest]
 
     runs-on: ${{ matrix.os }}

lambda_calculus/terms/__init__.py

@@ -280,7 +280,7 @@ def alpha_conversion(self, new: V) -> Abstraction[V]:
             )
         raise CollisionError("new variable would bind free variable in body", (new,))
 
-    def eta_reduction(self) -> Term[V]:   # type: ignore[return]
+    def eta_reduction(self) -> Term[V]:
         """
         Remove a useless abstraction.
 
@@ -291,8 +291,6 @@ def eta_reduction(self) -> Term[V]:   # type: ignore[return]
             case Application(f, Variable(x)) if x == self.bound and x not in f.free_variables():
                 return f
             case _:
-                # mypy detects missing returns
-                # because of https://github.com/python/mypy/issues/12534
                 raise ValueError("abstraction is not useless")
 
     def accept(self, visitor: visitors.Visitor[T, V]) -> T: