Changes between Version 12 and Version 13 of NewAxioms


Ignore:
Timestamp:
Jun 8, 2012 10:58:43 AM (3 years 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.