Changing the page name reflects a change in vocabulary. The "context" part seemed confusing, and "quantified constraints" is the vocabulary used in the ICFP paper. Better to be consistent everywhere, going forward.
Changing the page name reflects a change in vocabulary. The "context" part seemed confusing, and "quantified constraints" is the vocabulary used in the ICFP paper. Better to be consistent everywhere, going forward.