Changes between Version 7 and Version 8 of TypeNats/SingletonsAndExistentials


Ignore:
Timestamp:
Apr 17, 2012 8:51:30 PM (3 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