Changes between Version 18 and Version 19 of TypeNats/Interact1


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v18 v19  
     1(NOTE: The rule involving constants but no computation could be generalized 
     2to work for variables as well, as long as we know that the variables 
     3are in the acceptable ranges.  Such information could be computed 
     4from the <= model, perhaps.) 
     5 
    16Top-level interactions for {{{TypeNat}}}: 
    27{{{