Changes between Version 42 and Version 43 of TypeNats/Basics


Ignore:
Timestamp:
Oct 16, 2012 5:29:36 AM (21 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v42 v43  
    7777}}} 
    7878 
     79TODO: Explain this more fully. 
    7980 
    8081Notice that GHCi could display values of type `Sing`, so they have a `Show` instance.  As another example, here