Changes between Version 8 and Version 9 of TypeNats/SingletonsAndExistentials


Ignore:
Timestamp:
Apr 17, 2012 8:52:05 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/SingletonsAndExistentials

    v8 v9  
    8989 
    9090The interesting difference between the two 
    91 is the `ArrayD` is (in some sense) ''more static''. 
     91is that `ArrayD` is (in some sense) ''more static''. 
    9292In particular, we can always convert  
    9393an `ArrayD` into an `ArrayS`, but we cannot