Changes between Version 22 and Version 23 of TypeNats


Ignore:
Timestamp:
Jan 27, 2011 6:12:55 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v22 v23  
    3030
    3131  * The implementation resides in several repositories:
    32     * (GIT) Changes to GHC are on branch type-nats in: [git://code.galois.com/type-naturals/ghc.git]
    33     * (DARCS) Changes to the base library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/base/]
    34     * (DARCS) Changes to the template-haskell library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell/]
     32    * (git) Changes to GHC are on branch type-nats in: [git://code.galois.com/type-naturals/ghc.git]
     33    * (darcs) Changes to the base library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/base/]
     34    * (darcs) Changes to the template-haskell library are at [http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell/]
    3535
    3636