Changes between Version 5 and Version 6 of TypeLevelReasoning


Ignore:
Timestamp:
Feb 6, 2013 7:06:07 PM (3 years ago)
Author:
heisenbug
Comment:

we have a branch

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v5 v6  
    6262
    6363 * Perhaps we should move some of what we're discussing out of {{{GHC.TypeLits}}}. After all, {{{(:~:)}}} does not interact directly with singletons, and neither do some of the definitions I mentioned above. I'm at a bit of a loss for a name, though...
     64
     65== Course of Implementation ==
     66
     67Gabor: I have created a new branch `type-reasoning` and pushed everything I have so far to the `libraries/base` repo. [http://www.haskell.org/pipermail/ghc-devs/2013-February/000304.html Richard's mail] summarizes what still needs to be done.