Changes between Version 2 and Version 3 of TypeNats/InductiveDefinitions

Show
Ignore:
Timestamp:
02/06/11 14:33:20 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/InductiveDefinitions

    v2 v3  
    66 
    77-------------------------------------------------------------------------------- 
    8 -- Extending GHC.TypeNats with these two function allows us to 
     8-- Extending GHC.TypeNats with these two declarations allows us to 
    99-- write inductive definitions. 
    1010