Changes between Version 4 and Version 5 of Commentary/ModuleStructure


Ignore:
Timestamp:
Jan 8, 2013 12:00:19 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/ModuleStructure

    v4 v5  
    6161 * !TcType 
    6262 * !TcEvidence( !TcTupe ) 
    63  * !TcMType( !TcEvidence ) 
    64  * !TcUnify( !TcMType ) 
    65  * !TcSMonad( !TcMType ) 
    66  * !TcSimplify( !TcSMonad ) 
     63 * TcMType( !TcEvidence ) 
     64 * !TcUnify( TcMType ) 
     65 * TcSMonad( TcMType ) 
     66 * !TcSimplify( TcSMonad ) 
    6767 * !TcValidity( !TcSimplify.simplifyTop, !TcUnify.tcSubType ) 
    6868 * !TcHsType( !TcValidity.checkValidType, !TcValidity.checkValidInstance )