Changes between Version 14 and Version 15 of NewAxioms


Ignore:
Timestamp:
Jun 15, 2012 2:58:29 PM (3 years ago)
Author:
danbst
Comment:

possible typo?

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v14 v15  
    8888type instance F where
    8989  F Int = Char
    90   F (a,b) = Ing
     90  F (a,b) = Int
    9191}}}
    9292