Changes between Version 4 and Version 5 of Commentary/ModuleStructure


Ignore:
Timestamp:
Jan 8, 2013 12:00:19 AM (3 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 )