This collection provides a syntax for inductively defined predicates

(e.g., typing rules) and a tool for generating random objects that

satisfy those predicates (e.g., typing derivations).

The collection can be used by specifying its path, for example,

(require "predicates/main.rkt")

but building the documentation requires a couple steps.

1. Create a PLaneT hard link to this directory.

$ raco planet link $username predicates.plt 1 0 .

(This collection isn't actually distributed via PLaneT; we're just

piggybacking on the convenience of its development links.

Consequently, the particular username and version numbers aren't

important.)

2. Build the collection.

$ raco setup -P $username predicates.plt 1 0

After complete these steps, the collection can be used without

directly specifying its path.

(require (planet $username/predicates:1:0))