Changes between Version 20 and Version 21 of TypeNats


Ignore:
Timestamp:
Jan 27, 2011 4:52:32 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v20 v21  
    1010 
    1111 
    12 == Implementation and Design Issues == 
     12== Notes on Design == 
     13 
     14  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
     15 
     16     
     17== Notes on the Implementation == 
    1318 
    1419  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
    15   * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    1620  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    1721  * GHC Interaction Rules ([wiki:TypeNats/RuleNotation Notational Conventions]) 
     
    1923    * [wiki:TypeNats/Interact2      Simple Inert Interactions] 
    2024    * [wiki:TypeNats/LEQ            Solving (<=) Predicates] 
    21      
     25 
     26 
    2227 
    2328== External links == 
    2429 
    25   * [http://code.galois.com/darcs/type-naturals/ Source repos]   
     30  * The implementation resides in several repositories: 
     31    * (GIT) Changes to GHC are on branch type-nats in: [git://code.galois.com/type-naturals/ghc.git] 
     32    * (DARCS) Changes to the base library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/base/] 
     33    * (DARCS) Changes to the template-haskell library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell/] 
     34 
     35 
    2636  * More advanced example: https://github.com/yav/memory-arrays/tree/master