Changes between Version 6 and Version 7 of TypeNats


Ignore:
Timestamp:
Dec 15, 2010 6:03:27 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v6 v7  
    99  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators]
    1010  * GHC Interaction Rules 
    11     * [wiki:TypeNats/Rules          Top-level interactions]
     11    * [wiki:TypeNats/Interact1      Top-level interactions]
    1212
    1313External links: