Changes between Version 1 and Version 2 of QuantifiedContexts


Ignore:
Timestamp:
Jan 31, 2018 11:53:36 PM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • QuantifiedContexts

    v1 v2  
    1 See [wiki:"QuantifiedConstraints"].
     1See [wiki:"QuantifiedConstraints"].
     2
     3Changing 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.