Changes between Version 1 and Version 2 of TypeNats/Examples


Ignore:
Timestamp:
Feb 6, 2011 9:28:19 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Examples

    v1 v2  
     1== Type-Naturals and GADTs == 
     2 
    13{{{ 
    24{-# LANGUAGE TypeNaturals, GADTs #-}