Changes between Version 9 and Version 10 of TypeNats/SingletonsAndExistentials


Ignore:
Timestamp:
May 11, 2012 10:51:57 PM (2 years ago)
Author:
heisenbug
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/SingletonsAndExistentials

    v9 v10  
    1717 
    1818We start by defining a type for pointers to a ''sequence'' 
    19 of adjecent elements in memory.  The number of elements 
     19of adjacent elements in memory.  The number of elements 
    2020is statically known at compile time, which is why 
    2121we add it to the type of the pointer: