Changes between Version 3 and Version 4 of TypeNats


Ignore:
Timestamp:
Nov 27, 2010 8:22:10 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v3 v4  
    77  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
    88  * [wiki:TypeNats/ImplicitExplicit Design Notes about Nat vs. TypeNat] 
     9  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    910 
    1011External links: