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