Changes between Version 1 and Version 2 of TypeNats/AvoidingPartialTypeFunctions


Ignore:
Timestamp:
Jan 27, 2011 5:17:52 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/AvoidingPartialTypeFunctions

    v1 v2  
    77None of these options seem particularly attractive. 
    88 
    9 Furthermore, we can already express basically the same functionality by using (implicit or explicit equalities). 
     9Furthermore, we can already express basically the same functionality by using (implicit or explicit) equalities. 
    1010{{{ 
    1111f :: Array n Byte -> Array (n / 8) Word64           -- using division.