Home

Describing test data and creating core.logic relations. (There are tests-as-documentation.)

Selectors write common core.logic run statements for you. (The same file as above shows examples.)

Generating interrelated test data

• A bit about the motivation
• How it works
• Constructing the three functions [unwritten]
• See also this relatively simple example and this example that shows more of the work of writing macros.