Changes between Version 29 and Version 30 of TypeNats/Basics


Ignore:
Timestamp:
Apr 9, 2012 1:22:24 AM (3 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