Changes between Version 12 and Version 13 of TypeNats


Ignore:
Timestamp:
Dec 19, 2010 5:27:35 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v12 v13  
    88  * [wiki:TypeNats/ImplicitExplicit Design Notes about Nat vs. TypeNat] 
    99  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    10   * GHC Interaction Rules ([wiki:TypeNats/RuleNotation Notational Conventions] 
     10  * GHC Interaction Rules ([wiki:TypeNats/RuleNotation Notational Conventions]) 
    1111    * [wiki:TypeNats/Interact1      Top-Level Interactions] 
    1212    * [wiki:TypeNats/Interact2      Simple Inert Interactions]