Changes between Version 26 and Version 27 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 12:43:43 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v26 v27  
    3434== External links ==
    3535
    36   * The implementation resides in several repositories:
    37     * (git) Changes to GHC are on branch type-nats in: [git://code.galois.com/type-naturals/ghc.git]
    38     * (darcs) Changes to the base library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/base/]
    39     * (darcs) Changes to the template-haskell library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell/]
     36  * The implementation resides on branch 'type-nats' of the GHC repo.  The following GHC-related related repos also have a type-nats branch:
     37    * libraries/base
     38    * libraries/template-haskell
     39    * utils/haddock
     40 
    4041
    4142