Changes between Version 13 and Version 14 of TypeNats


Ignore:
Timestamp:
Jan 16, 2011 4:49:51 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v13 v14  
    33This page collects information on how to work with type-level natural numbers, as implemented in the Haskell compiler GHC (ticket #4385). 
    44 
     5== User's Guide == 
     6 
    57  * [wiki:TypeNats/Basics           Type-Level Naturals Basics] 
    68  * [wiki:TypeNats/BasicExamples    Simple Examples of Using GHC.TypeNats] 
    7   * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
    89  * [wiki:TypeNats/ImplicitExplicit Design Notes about Nat vs. TypeNat] 
     10 
     11 
     12== Implementation and Design Issues == 
     13 
     14  * [wiki:TypeNats/Implementation   Implementation of {{{GHC.TypeNats}}}] 
     15 
    916  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    1017  * GHC Interaction Rules ([wiki:TypeNats/RuleNotation Notational Conventions]) 
     
    1421     
    1522 
    16 External links: 
     23== External links == 
     24 
    1725  * [http://code.galois.com/darcs/type-naturals/ Source repos]   
    1826  * More advanced example: https://github.com/yav/memory-arrays/tree/master