Changes between Version 13 and Version 14 of TypeNats


Ignore:
Timestamp:
Jan 16, 2011 4:49:51 PM (5 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