Changes between Version 33 and Version 34 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 2:02:09 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v33 v34  
    2323 
    2424 
    25 == External links == 
     25== Source Code == 
    2626 
    27   * Where to find relevant source code: 
    2827    * [http://darcs.haskell.org/cgi-bin/gitweb.cgi?p=ghc.git;a=shortlog;h=refs/heads/type-nats type-nats branch of GHC] 
    2928    * [http://darcs.haskell.org/cgi-bin/gitweb.cgi?p=packages/base.git;a=shortlog;h=refs/heads/type-nats type-nats branch of the base library]