Changes between Version 13 and Version 14 of Holes
- Apr 27, 2012 10:19:29 AM (23 months ago)
v13 v14 30 30 These 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. 31 31 32 = A proposed design= 32 = A proposed = 33 33 34 34 Here is a specification of the proposed user-level view of the design.