Changes between Version 16 and Version 17 of LinearTypes


Ignore:
Timestamp:
Jul 2, 2018 1:34:56 PM (8 months ago)
Author:
aspiwack
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LinearTypes

    v16 v17  
    1313== Implementation ==
    1414
    15 A prototype implementation can be found at https://github.com/tweag/ghc/tree/linear-types .
     15The implementation in progress can be found at https://github.com/tweag/ghc/tree/linear-types .
    1616
    1717A library to serve as a central library for linearly typed program can be found at https://github.com/tweag/linear-base/