Changes between Version 31 and Version 32 of TypeNats

Show
Ignore:
Timestamp:
03/20/12 18:57:45 (14 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats

    v31 v32  
    2525== External links == 
    2626 
    27   * The implementation resides on branch 'type-nats' of the GHC repo.  The following GHC-related related repos also have a type-nats branch: 
     27  * Where to find relevant source code: 
     28    * [http://darcs.haskell.org/cgi-bin/gitweb.cgi?p=ghc.git;a=shortlog;h=refs/heads/type-nats type-nats branch of GHC] 
    2829    * libraries/base 
    2930    * libraries/template-haskell