History: List of expository materials needed to augment Woldy

Preview of version: 1 (current)

  • Statement in clear terms that rearranging quantified (nonsingular) sumti with SE and FA affects scope and hence meaning.
  • Statement in clear terms as to where implicit DA (and hence scoping issues) exist in the language, and how they can be made explicit. -Robin

History

Advanced
Information Version
Fri 30 of Nov, 2001 12:31 GMT admin from admin created from phpwiki import 1