Changes between Version 4 and Version 5 of TypeLevelReasoning

Show
Ignore:
Timestamp:
02/06/13 10:36:17 (4 months ago)
Author:
shelarcy
Comment:

fix typo

Legend:

Unmodified
Added
Removed
Modified

  • TypeLevelReasoning

    v4 v5  
    1 This page collects ideas about definitions to support type-level (propositional) reasoning in Haskell programs. Much of the initial content comes from the thread "RHC: Singleton equality witnesses" on ghc-devs. Currently (Feb 2013), these ideas are implemented in {{{GHC.TypeLits}}}. 
     1This page collects ideas about definitions to support type-level (propositional) reasoning in Haskell programs. Much of the initial content comes from the thread "RFC: Singleton equality witnesses" on ghc-devs. Currently (Feb 2013), these ideas are implemented in {{{GHC.TypeLits}}}. 
    22 
    33See also [wiki:TypeNats].