Changes between Version 3 and Version 4 of ImplementingTreesThatGrow/IdeSupport


Ignore:
Timestamp:
May 13, 2018 11:41:41 AM (19 months ago)
Author:
alanz
Comment:

Add reference to type holes paper (via @Iceland_jack)

Legend:

Unmodified
Added
Removed
Modified
  • ImplementingTreesThatGrow/IdeSupport

    v3 v4  
    6767[=#coda (4)] https://github.com/ekmett/coda
    6868
     69== Even Longer Term ==
    6970
     71Incremental renaming and type checking.  See related work at [#typedholes (1)]
     72
     73[=#typedholes (1)] https://arxiv.org/pdf/1805.00155.pdf