Changes between Version 4 and Version 5 of TypeNats

Show
Ignore:
Timestamp:
12/15/10 08:46:41 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats

    v4 v5  
    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] 
    1011 
    1112External links: