Changes between Version 28 and Version 29 of Holes


Ignore:
Timestamp:
May 4, 2012 1:35:25 PM (2 years ago)
Author:
spl
Comment:

Link to implementation issues on GitHub?

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v28 v29  
    1 ''This page discusses the design and potential implementation of "holes" in GHC. The progress is tracked in #5910. The development repository is [https://github.com/xnyhps/ghc here].''  
     1''This page discusses the design and potential implementation of "holes" in GHC. Discussion on this feature in GHC is in #5910. The development repository is [https://github.com/xnyhps/ghc here], and implementation issues are [https://github.com/xnyhps/ghc/issues here].'' 
    22 
    33= Introduction =