Hegel, a universal property-based testing protocol and family of PBT libraries

Hegel is a universal property-based testing protocol and family of PBT libraries introduced in a news article. The article received 15 points on Hacker News with no comments.