Changes between Version 13 and Version 14 of Holes


Ignore:
Timestamp:
Apr 27, 2012 10:19:29 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v13 v14  
    3030These goals can make it a lot easier to write code. They allow typechecking to continue although certain parts of code are missing and they work as a TODO list. 
    3131 
    32 = A proposed design = 
     32= A proposed concrete design for Haskell = 
    3333 
    3434Here is a specification of the proposed user-level view of the design.