Changes between Version 29 and Version 30 of TypeNats/Basics


Ignore:
Timestamp:
Apr 9, 2012 1:22:24 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v29 v30  
    1616== Singleton Types == 
    1717 
    18 We use this idea to link the type-level literals to specific run-time values via //singleton types//. 
     18We use this idea to link the type-level literals to specific run-time values ''singleton types''. 
    1919The singleton types and some useful functions for working with them are defined in module {{{GHC.TypeLits}}}: 
    2020