Changes between Version 5 and Version 6 of DependentHaskell


Ignore:
Timestamp:
May 27, 2014 12:46:13 PM (12 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DependentHaskell

    v5 v6  
    1313Haskell currently has three quantifiers: `forall`, `->`, and `=>`, as classified in the following table: 
    1414 
     15||||||||||  Current Haskell  || 
    1516||= Quantifier =||= Dependent? =||= Visible? =||= Required? =||= Relevant? =|| 
    1617|| `forall` || yes || unification || FVs || no ||