Changes between Version 7 and Version 8 of TypeNats


Ignore:
Timestamp:
Dec 15, 2010 9:20:15 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v7 v8  
    99  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    1010  * GHC Interaction Rules   
    11     * [wiki:TypeNats/Interact1      Top-level interactions] 
     11    * [wiki:TypeNats/Interact1      Top-Level Interactions] 
     12    * [wiki:TypeNats/Interact2      Simple Inert Interactions] 
     13     
    1214 
    1315External links: