-
Notifications
You must be signed in to change notification settings - Fork 2
clklein/predicates
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
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))
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published