Changes between Version 14 and Version 15 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
May 29, 2013 2:02:53 PM (21 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/Nonlinearity

    v14 v15  
    3939== Coincident overlap ==  
    4040 
    41 In the official release of GHC, it is permitted to write something like this: 
     41In the official release of GHC, it is permitted to write something like this (see [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#type-family-overlap manual]): 
    4242 
    4343{{{