From 5be6199fa90754238077b16d8b9572205a8bac6e Mon Sep 17 00:00:00 2001 From: ink7047 <62216305+ink7047@users.noreply.github.com> Date: Fri, 1 May 2026 19:27:37 -0400 Subject: [PATCH] docs - acronym clarification, line edits for continuity and tone, minor punctuation edits --- src/content/docs/intro/getting-started.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/content/docs/intro/getting-started.md b/src/content/docs/intro/getting-started.md index 271b9ab..e6d57cb 100644 --- a/src/content/docs/intro/getting-started.md +++ b/src/content/docs/intro/getting-started.md @@ -4,13 +4,13 @@ title: Getting started Welcome to Hegel! This page will orient first-time Hegel users and direct you to next steps. -Hegel exists because of a problem: writing a good property-based testing library is hard. Writing a good property-based testing library in *every language*? Even more so. +Hegel exists because of a problem: writing a good property-based testing (PBT) library is hard. Writing a good PBT library in *every language*? Even more so. -Many of the hardest parts of writing a PBT library can in principle be reused. Bug-finding distributions, automatic shrinking, and flexible generator primitives could all be written once and used in every language. This would lower the barrier to entry and make world-class property-based testing available to all languages in a way which simply wasn't feasible before. +To help address this problem, many of the hardest parts of writing a PBT library can, in principle, be reused. Bug-finding distributions, automatic shrinking, and flexible generator primitives could all be written once and used in every language. This would lower the barrier to entry and make world-class property-based testing available to all languages, in a way which simply wasn't feasible before. -Hegel is the realization of this idea. +Hegel accomplishes exactly that. Hegel is several things. It is a protocol for communicating between a PBT server (written once) and a PBT library (written for each language). It is also an implementation of this server and libraries in a number of languages.