Changes between Version 10 and Version 11 of Status/Oct13


Ignore:
Timestamp:
Oct 10, 2013 9:05:25 PM (19 months ago)
Author:
lukexi
Comment:

Fixed typo in closed type families example

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct13

    v10 v11  
    1717type family Flip p :: * 
    1818type family Flip a where 
    19   Filp Even = Odd 
     19  Flip Even = Odd 
    2020  Flip Odd  = Even 
    2121}}}