Changes between Version 10 and Version 11 of Status/Oct13


Ignore:
Timestamp:
Oct 10, 2013 9:05:25 PM (22 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}}}