Changes between Version 2 and Version 3 of TypeNats/InductiveDefinitions


Ignore:
Timestamp:
Feb 6, 2011 10:33:20 PM (3 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