Changes between Version 30 and Version 31 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 1:48:24 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v30 v31  
    1818== Notes on the Implementation == 
    1919 
    20   * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
     20  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeLits] 
    2121  * [http://github.com/yav/tc-solver/blob/master/docs/axioms.md Axioms for type-level type operators] 
    2222