Changes between Version 12 and Version 13 of NewAxioms


Ignore:
Timestamp:
Jun 8, 2012 10:58:43 AM (23 months ago)
Author:
spl
Comment:

Capitalization

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v12 v13  
    9999            F (a,b)   = [Char] 
    100100            F (Int,b) = Char 
    101             f Bool    = Char 
     101            F Bool    = Char 
    102102 
    103103(B)      type instance of         -- Use "of" (yuk) 
    104104            F (a,b)   = [Char] 
    105105            F (Int,b) = Char 
    106             f Bool    = Char 
     106            F Bool    = Char 
    107107 
    108108(C)      type instance F where     -- Redundantly mention F in the header 
    109109            F (a,b)   = [Char] 
    110110            F (Int,b) = Char 
    111             f Bool    = Char 
     111            F Bool    = Char 
    112112}}} 
    113113We need one of the existing "layout herald" keywords (`of`, `let`, `where`) to smoothly support the nested block of equations.  It's not clear whether or not it is useful to mention the name of the function in the header.