Changes between Version 18 and Version 19 of TypeNats/Interact1

Timestamp:

12/19/10 10:12:38 (2 years ago)

Author:

diatchki

Comment:

--

TypeNats/Interact1

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