Skip to content

docs - acronym clarification, line edits for continuity and tone, minor punctuation edits #64

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ink7047 wants to merge 1 commit into
base: main
Choose a base branch
from
Open

docs - acronym clarification, line edits for continuity and tone, minor punctuation edits #64

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions src/content/docs/intro/getting-started.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.

<!-- consolidate the best of property-based testing in every language. -->

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.

Expand Down