Changes between Version 4 and Version 5 of TypeLevelReasoning


Ignore:
Timestamp:
Feb 6, 2013 6:36:17 PM (14 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].