Changes between Version 6 and Version 7 of TypeNats/InductiveDefinitions


Ignore:
Timestamp:
Feb 7, 2011 7:15:26 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/InductiveDefinitions

    v6 v7  
    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