|
|
|
|
|
See [QuantifiedConstraints](quantified-constraints). |
|
|
See [QuantifiedConstraints](quantified-constraints).
|
|
|
|
|
|
|
|
|
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. |