Changes between Version 2 and Version 3 of TypeLevelReasoning


Ignore:
Timestamp:
Feb 6, 2013 11:03:40 AM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v2 v3  
    11This 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}}}. 
     2 
     3See also [wiki:TypeNats]. 
    24 
    35Gabor Greif's proposal: