Update docs

propensive · May 17, 2024 · 1f4ba2f · 1f4ba2f
1 parent 79760ac
commit 1f4ba2f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml
@@ -14,6 +14,6 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v3
     - name: Tidy repository
-      uses: propensive/[email protected].8
+      uses: propensive/[email protected].9
     - name: Autocommit changes
       uses: stefanzweifel/git-auto-commit-action@v4
diff --git a/doc/basics.md b/doc/basics.md
@@ -1,4 +1,5 @@
-Kaleidoscope is included in the `kaleidoscope` package, and exported to the `soundness` package.
+Kaleidoscope is included in the `kaleidoscope` package, and exported to the
+`soundness` package.
 
 To use Kaleidoscope alone, you can include the import,
 ```scala

diff --git a/doc/slogan.md b/doc/slogan.md
@@ -1 +1 @@
-Statically-checked inline pattern matching on regular expressions
+Statically-typed inline pattern matching on regular expressions