type-nats.md

@@ -32,10 +32,10 @@ This page collects information on how to work with type-level natural numbers, a
 
 ## External links
 
-- The implementation resides in several repositories:
+- The implementation resides on branch 'type-nats' of the GHC repo.  The following GHC-related related repos also have a type-nats branch:
 
-  - (git) Changes to GHC are on branch type-nats in: [ git://code.galois.com/type-naturals/ghc.git](git://code.galois.com/type-naturals/ghc.git)
-  - (darcs) Changes to the base library are at [ http://code.galois.com/darcs/type-naturals/09-Jan-2011/base/](http://code.galois.com/darcs/type-naturals/09-Jan-2011/base/)
-  - (darcs) Changes to the template-haskell library are at [ http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell/](http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell/)
+  - libraries/base
+  - libraries/template-haskell
+  - utils/haddock
 
 - More advanced example: [ https://github.com/yav/memory-arrays/tree/master](https://github.com/yav/memory-arrays/tree/master)
\ No newline at end of file