Add markdownlint to pre-commit

Author: wenkokke

.markdownlint.yaml

@@ -0,0 +1,16 @@
+default: true
+MD001: false
+MD004: false
+MD007: false
+MD012: false
+MD013: false
+MD022: false
+MD024: false
+MD030: false
+MD032: false
+MD033: false
+MD038: false
+MD046: false
+MD049: false
+MD053: false
+MD059: false

.pre-commit-config.yaml

@@ -1,23 +1,28 @@
 repos:
--   repo: https://github.com/pre-commit/pre-commit-hooks
+  - repo: https://github.com/pre-commit/pre-commit-hooks
     rev: v6.0.0
     hooks:
-    -   id: check-added-large-files
-    -   id: check-case-conflict
-    -   id: check-executables-have-shebangs
-    -   id: check-json
-    -   id: check-merge-conflict
-    -   id: check-shebang-scripts-are-executable
-    -   id: check-symlinks
-    -   id: check-vcs-permalinks
-    -   id: check-yaml
-    -   id: destroyed-symlinks
-    -   id: detect-private-key
-    -   id: fix-byte-order-marker
-    -   id: file-contents-sorter
+      - id: check-added-large-files
+      - id: check-case-conflict
+      - id: check-executables-have-shebangs
+      - id: check-json
+      - id: check-merge-conflict
+      - id: check-shebang-scripts-are-executable
+      - id: check-symlinks
+      - id: check-vcs-permalinks
+      - id: check-yaml
+      - id: destroyed-symlinks
+      - id: detect-private-key
+      - id: fix-byte-order-marker
+      - id: file-contents-sorter
         args: [--unique]
         files: '\.epubcheck\.tsv|\.htmlvalidateignore'
-    -   id: forbid-new-submodules
-    -   id: end-of-file-fixer
-    -   id: mixed-line-ending
-    -   id: trailing-whitespace
+      - id: forbid-new-submodules
+      - id: end-of-file-fixer
+      - id: mixed-line-ending
+      - id: trailing-whitespace
+  - repo: https://github.com/igorshubovych/markdownlint-cli
+    rev: v0.47.0
+    hooks:
+      - id: markdownlint
+        files: 'src/.*\.md'

src/plfa/part2/Properties.lagda.md

@@ -1002,6 +1002,7 @@ _ : eval 3 ⊢sucμ ≡
    refl
 _ = refl
 ```
+
 The returned reduction sequence has length `3`, the same
 as the number of steps of gas provided, and the `refl` that
 is the second argument to `out-of-gas` is a proof that `3 ≡ 3`.