| 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 | |
