Changes between Version 21 and Version 22 of Holes


Ignore:
Timestamp:
May 3, 2012 9:36:28 AM (2 years ago)
Author:
spl
Comment:

Mention ticket #5910

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v21 v22  
    1 ''This page discusses the design and potential implementation of "holes" in GHC.'' 
     1''This page discusses the design and potential implementation of "holes" in GHC. The progress is being tracked in #5910.''  
    22 
    33= Introduction =