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