Changes between Version 5 and Version 6 of TypeNats


Ignore:
Timestamp:
Dec 15, 2010 6:02:43 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v5 v6  
    88  * [wiki:TypeNats/ImplicitExplicit Design Notes about Nat vs. TypeNat] 
    99  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    10   * [wiki:TypeNats/Rules            GHC Interaction Rules] 
     10  * GHC Interaction Rules   
     11    * [wiki:TypeNats/Rules          Top-level interactions] 
    1112 
    1213External links: