Changes between Version 5 and Version 6 of Holes


Ignore:
Timestamp:
Feb 10, 2012 12:48:32 PM (2 years ago)
Author:
spl
Comment:

Small intro

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v5 v6  
     1This page describes the design and potential implementation of "holes" in GHC. 
     2 
    13= Goals in Agda = 
    24