Changes between Version 10 and Version 11 of Status/May12


Ignore:
Timestamp:
May 10, 2012 10:42:58 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May12

    v10 v11  
    6666[17] Equality proofs and deferred type errors http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ [[BR]]
    6767[18] Holes in GHC: http://hackage.haskell.org/trac/ghc/wiki/Holes [[BR]]
    68 [19] Modular type inference with local assumptions: OutsideIn(X) http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn [[BR]]
     68[19] Modular type inference with local assumptions: !OutsideIn(X) http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn [[BR]]
    6969[20] Type level literals.  http://hackage.haskell.org/trac/ghc/wiki/TypeNats/Basics