Changes between Version 9 and Version 10 of Holes


Ignore:
Timestamp:
Feb 10, 2012 1:08:07 PM (2 years ago)
Author:
spl
Comment:

More intro

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v9 v10  
    1 This page describes the design and potential implementation of "holes" in GHC. 
     1This page describes the design and potential implementation of "holes" in GHC. The intention of holes is to support debugging types in Haskell programs. We have observed that programmers often want to find the type of an expression somewhere in the depths of a program. There are ways of doing this now, but none of them are satisfactory. 
    22 
    33= Goals in Agda =