Changes between Version 41 and Version 42 of DependentHaskell/Phase1


Ignore:
Timestamp:
Dec 19, 2016 3:19:56 PM (7 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DependentHaskell/Phase1

    v41 v42  
    77* The second is notes I put together for discussion with other implementors, chiefly Simon PJ.
    88
    9 See also the parent page [wiki:DependentHaskell]/
     9See also the parent page [wiki:DependentHaskell].
    1010
    1111= Status =