Changes between Version 5 and Version 6 of TypeNats/Operations


Ignore:
Timestamp:
Jan 27, 2011 5:23:54 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v5 v6  
    2525In this type we are basically dividing the size of the input array by 8.  Note, however, that we have expressed this by specifying that the array has to be a multiple of 8, which avoids the need for partiality. 
    2626 
    27  
    2827== Solving Constraints ==