Merge pull request #998 from bbatsov/fix-formatting

Fix formatting

Author: dsyme

.github/workflows/markdown-lint.yml

@@ -0,0 +1,21 @@
+name: Markdown Lint
+
+on: [push, pull_request]
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        fetch-depth: 0
+    - uses: tj-actions/changed-files@v45
+      id: changed-files
+      with:
+        files: '**/*.md'
+        separator: ","
+    - uses: DavidAnson/markdownlint-cli2-action@v19
+      if: steps.changed-files.outputs.any_changed == 'true'
+      with:
+        globs: ${{ steps.changed-files.outputs.all_changed_files }}
+        separator: ","

.markdownlint-cli2.jsonc

@@ -0,0 +1,22 @@
+{
+  // Enable all rules by default
+  "default": true,
+
+  // Line length: increase default from 80
+  "MD013": {
+    "line_length": 100,
+    "code_blocks": false,
+    "tables": false
+  },
+
+  // Allow duplicate headers in different nested sections
+  "MD024": {
+    "allow_different_nesting": true
+  },
+
+  // Allow inline HTML
+  "MD033": false,
+
+  // First line in a file doesn't need to be a top-level header
+  "MD041": false,
+}

README.md

@@ -53,7 +53,6 @@ Example:
 
     Not ideal, but oh well.
 
-
 ## Developing locally
 
 The easiest way to get started developing this repository on your own machine is by using the supplied dev container.

_books/F#_high_performance_2017.md

@@ -14,4 +14,4 @@ In this book you will:
 - Implement best practices to optimize performance
 - Use the available tooling to help measure performance
 - Combine the best practice of asynchronous and synchronous
-- Optimize further using various F# language constructs
+- Optimize further using various F# language constructs

_books/beginning_f#_4_2016.md

@@ -8,4 +8,4 @@ bookurl: https://link.springer.com/book/10.1007/978-1-4842-1374-2
 This book is a great foundation for exploring functional-first programming and
 its role in the future of application development. The best-selling introduction to F#,
 now thoroughly updated to version 4.0, will help you learn the language and explore
-its new features.
+its new features.

_books/building_f#_applications_video_2017.md

@@ -11,4 +11,4 @@ Learn how to use F#'s functional features to rapidly turn requirements into soft
 - Use F#-friendly tools for test automation, builds, and dependency management
 - Model your application's problem domain using F#'s immutable data types and collections
 - Build simple-to-complex application behavior with F# functions
-- Interoperate between your F# applications and other .NET languages
+- Interoperate between your F# applications and other .NET languages

_books/domain_modeling_made_functional_2018.md

@@ -11,4 +11,4 @@ Domain-driven design is a well-established approach to designing software that e
 
 Model a complex domain accurately using the F# type system, creating compilable code that is also readable documentation—ensuring that the code and design never get out of sync. Encode business rules in the design so that you have “compile-time unit tests,” and eliminate many potential bugs by making illegal states unrepresentable. Assemble a series of small, testable functions into a complete use case, and compose these individual scenarios into a large-scale design. Discover why the combination of functional programming and DDD leads naturally to service-oriented and hexagonal architectures. Finally, create a functional domain model that works with traditional databases, NoSQL, and event stores, and safely expose your domain via a website or API.
 
-Solve real problems by focusing on real-world requirements for your software.
+Solve real problems by focusing on real-world requirements for your software.

_books/essential_f#.md

@@ -5,8 +5,8 @@ year: 2023
 image: /learn/files/book_covers/essential_fsharp.jpeg
 bookurl: https://leanpub.com/essential-fsharp
 ---
-This is a practical book aimed at efficiently getting you up to speed with the essentials functional-first programming in F#. 
+This is a practical book aimed at efficiently getting you up to speed with the essentials functional-first programming in F#.
 
-Everywhere you look, programming languages are gaining functional features. The problem is that it's not the individual features that make functional programmers happy, it's the way that your approach to writing software and the features work together to help you write simple code to solve interesting problems. This book will help you to discover why F# is such a popular language with those who have spent time learning its secrets. 
+Everywhere you look, programming languages are gaining functional features. The problem is that it's not the individual features that make functional programmers happy, it's the way that your approach to writing software and the features work together to help you write simple code to solve interesting problems. This book will help you to discover why F# is such a popular language with those who have spent time learning its secrets.
 
-This book started life as a series of blog posts on my Company's website (https://www.softwarepark.cc/blog). The sum of the content is what a developer needs to know to be able to work on one of our F# Line of Business codebases. I have improved and extended the content, upgraded the code to F# 5 and ensured that the code will run in VS Code.
+This book started life as a series of blog posts on my Company's website (<https://www.softwarepark.cc/blog>). The sum of the content is what a developer needs to know to be able to work on one of our F# Line of Business codebases. I have improved and extended the content, upgraded the code to F# 5 and ensured that the code will run in VS Code.

_books/export_f#_4_2015.md

@@ -7,8 +7,8 @@ bookurl: https://link.springer.com/book/10.1007/978-1-4842-0740-6
 ---
 Expert F# 4.0 is about practical programming in a beautiful language that puts the power and elegance of data-rich functional programming into the hands of professional developers. In combination with .NET, F# achieves unrivaled levels of programmer productivity and program clarity.
 
- - A comprehensive guide to F# by the inventor of F#
- - A treasury of F# techniques for practical problem-solving
- - An in-depth case book of how F# applications and of F# 4.0 concepts, syntax, and features
+- A comprehensive guide to F# by the inventor of F#
+- A treasury of F# techniques for practical problem-solving
+- An in-depth case book of how F# applications and of F# 4.0 concepts, syntax, and features
 
-The world's experts in F# show you how to program in F# the way they do!
+The world's experts in F# show you how to program in F# the way they do!

_books/f#_4_design_patterns_2016 .md

@@ -16,4 +16,4 @@ In this book you will:
 - Make use of native F# algebraic data types in place of custom-built classes
 - Recognize and measure the difference in resource consumption between sequences and materialized data collections
 - Navigate and use F# Core libraries with ease by seeing patterns behind specific library functions
-- Master writing generic polymorphic code
+- Master writing generic polymorphic code