Revision as of 04:19, 24 February 2022 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...")
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.