Changes between Version 7 and Version 8 of TypeNats/SingletonsAndExistentials


Ignore:
Timestamp:
Apr 17, 2012 8:51:30 PM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/SingletonsAndExistentials

    v7 v8  
    5353 
    5454 
    55 == Hiding the Arrays Size with an Existential == 
     55== Hiding the Array Size with an Existential == 
    5656 
    5757We may also define a type for array whose sizes