Category:Contract

From PKC
Revision as of 07:51, 11 July 2021 by Benkoo (talk | contribs) (Created page with "The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be mad...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be made responsible for each of the kind of outcome pairs.

Pages in category "Contract"

The following 103 pages are in this category, out of 103 total.