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{{{