Changes between Version 27 and Version 28 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
Jun 24, 2013 8:51:39 AM (10 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/Nonlinearity

    v27 v28  
    11= Nonlinear type family instances considered dangerous = 
     2 
     3'''Note''': This page is here for historical reasons. The implemented features are discussed on the NewAxioms page. 
    24 
    35This page discusses problems and solutions that come up when thinking about type family instances with repeated variables on the left-hand side.