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.