Changes between Version 19 and Version 20 of TypeNats


Ignore:
Timestamp:
Jan 16, 2011 6:34:31 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v19 v20  
    1414  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
    1515  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    16  
    17  
    18  
    1916  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    2017  * GHC Interaction Rules ([wiki:TypeNats/RuleNotation Notational Conventions])