Changes between Version 14 and Version 15 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
May 29, 2013 2:02:53 PM (2 years 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{{{