Changes between Version 25 and Version 26 of TypeNats


Ignore:
Timestamp:
Feb 6, 2011 10:31:12 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v25 v26  
    1616  * [wiki:TypeNats/AvoidingPartialTypeFunctions Avoiding Partial Type Functions]
    1717  * Naturals or Integers?
     18  * [wiki:TypeNats/InductiveDefinitions Inductive definitions]
    1819   
    1920== Notes on the Implementation ==