Merge branch 'master' of github.com:objectionary/reducing-programs-to-objects

Author: yegor256

.github/workflows/typos.yml

@@ -16,4 +16,4 @@ jobs:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
-      - uses: crate-ci/typos@v1.34.0
+      - uses: crate-ci/typos@v1.35.1