Changes between Version 2 and Version 3 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
May 29, 2013 12:43:35 PM (11 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/Nonlinearity

    v2 v3  
     1= Nonlinear type family instances considered dangerous = 
     2 
    13This page discusses problems and solutions that come up when thinking about type family instances with repeated variables on the left-hand side. 
    24