Changes between Version 4 and Version 5 of Commentary/ModuleStructure

Show
Ignore:
Timestamp:
01/07/13 16:00:19 (4 months 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 )