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