Difference between revisions of "Category:Contract"

From PKC
Jump to navigation Jump to search
(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...")
 
 
Line 1: Line 1:
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.
See [[Contract]]
 
[[Category:Arrow]]

Latest revision as of 04:19, 24 February 2022

Pages in category "Contract"

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