Add Hedgehog tag

ploeh · ploeh · commit e7b1a5600ae9 · 2024-08-09T14:12:53.000+02:00
diff --git a/_posts/2017-09-18-the-test-data-generator-functor.html b/_posts/2017-09-18-the-test-data-generator-functor.html
@@ -3,7 +3,7 @@
 title: "The Test Data Generator functor"
 description: "A Test Data Generator modelled as a functor."
 date: 2017-09-18 7:55 UTC
-tags: [Unit Testing, Software Design, FsCheck]
+tags: [Unit Testing, Software Design, FsCheck, Hedgehog]
 ---
 {% include JB/setup %}
 
diff --git a/_posts/2017-10-23-convex-hull-monoid.html b/_posts/2017-10-23-convex-hull-monoid.html
@@ -3,7 +3,7 @@
 title: "Convex hull monoid"
 description: "The union of convex hulls form a monoid. Yet another non-trivial monoid example, this time in F#."
 date: 2017-10-23 12:32 UTC
-tags: [Software Design, F#, Unit Testing]
+tags: [Software Design, F#, Unit Testing, Hedgehog]
 image: "/content/binary/convex-hull-union.png"
 image_alt: "A union of two convex hulls."
 ---
diff --git a/_posts/2018-11-26-the-test-data-generator-applicative-functor.html b/_posts/2018-11-26-the-test-data-generator-applicative-functor.html
@@ -3,7 +3,7 @@
 title: "The Test Data Generator applicative functor"
 description: "Test Data Generator modelled as an applicative functor, with examples in C# and F#."
 date: 2018-11-26 7:24 UTC
-tags: [Software Design, F#, Unit Testing]
+tags: [Software Design, F#, Unit Testing, Hedgehog]
 ---
 {% include JB/setup %}
 
diff --git a/_posts/2019-03-25-an-example-of-state-based-testing-in-f.html b/_posts/2019-03-25-an-example-of-state-based-testing-in-f.html
@@ -3,7 +3,7 @@
 title: "An example of state based-testing in F#"
 description: "While F# is a functional-first language, it's okay to occasionally be pragmatic and use mutable state, for example to easily write some sustainable state-based tests."
 date: 2019-03-25 6:34 UTC
-tags: [Unit Testing, F#, Property-based Testing]
+tags: [Unit Testing, F#, Property-based Testing, Hedgehog]
 ---
 {% include JB/setup %}
 
diff --git a/_posts/2022-12-05-github-copilot-preliminary-experience-report.html b/_posts/2022-12-05-github-copilot-preliminary-experience-report.html
@@ -3,7 +3,7 @@
 title: "GitHub Copilot preliminary experience report"
 description: "Based on a few months of use."
 date: 2022-12-05 8:37 UTC
-tags: [Productivity, Code]
+tags: [Productivity, Code, Hedgehog]
 ---
 {% include JB/setup %}
 
diff --git a/_posts/2023-02-27-test-data-generator-monad.html b/_posts/2023-02-27-test-data-generator-monad.html
@@ -3,7 +3,7 @@
 title: "Test Data Generator monad"
 description: "With examples in C# and F#."
 date: 2023-02-27 7:10 UTC
-tags: [Software Design, Unit Testing, Property-based Testing]
+tags: [Software Design, Unit Testing, Property-based Testing, Hedgehog]
 ---
 {% include JB/setup %}
 
diff --git a/_posts/2024-01-15-a-range-kata-implementation-in-f.html b/_posts/2024-01-15-a-range-kata-implementation-in-f.html
@@ -3,7 +3,7 @@
 title: "A Range kata implementation in F#"
 description: "This time with some property-based testing."
 date: 2024-01-15 7:20 UTC
-tags: [Functional Programming, F#, Property-based Testing]
+tags: [Functional Programming, F#, Property-based Testing, Hedgehog]
 ---
 {% include JB/setup %}
 
diff --git a/_posts/2024-02-12-range-as-a-functor.html b/_posts/2024-02-12-range-as-a-functor.html
@@ -3,7 +3,7 @@
 title: "Range as a functor"
 description: "With examples in C#, F#, and Haskell."
 date: 2024-02-12 6:59 UTC
-tags: [Functional Programming, Software Design, F#, Haskell, Property-based Testing]
+tags: [Functional Programming, Software Design, F#, Haskell, Property-based Testing, Hedgehog]
 image: "/content/binary/three-ranges-on-number-lines.png"
 image_alt: "Four number lines, each with a range interpretation drawn in."
 ---
