Changes between Version 20 and Version 21 of TypeNats


Ignore:
Timestamp:
Jan 27, 2011 4:52:32 AM (5 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