Comment on Dusa Programming Language (Finite-Choice Logic Programming)parentComments−robsimmons1yGood point! "Whenever" is probably even closer to the correct meaning.−treetalker1yAgreed, "whenever" expresses a necessary implication, while "provided" expresses necessary but not necessarily sufficient prerequisites.
Comments
Good point! "Whenever" is probably even closer to the correct meaning.
Agreed, "whenever" expresses a necessary implication, while "provided" expresses necessary but not necessarily sufficient prerequisites.