Changes between Version 19 and Version 20 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 6:12:48 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v19 v20  
    1 (NOTE: The rule involving constants but no computation could be generalized 
     1(NOTE: The rules involving constants but no computation could be generalized 
    22to work for variables as well, as long as we know that the variables 
    33are in the acceptable ranges.  Such information could be computed