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