Changes between Version 13 and Version 14 of DependentHaskell


Ignore:
Timestamp:
May 27, 2014 3:34:02 PM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DependentHaskell

    v13 v14  
    1919||||||||||  Current Haskell  ||
    2020||= Quantifier =||= Dependent? =||= Visible? =||= Required? =||= Relevant? =||
    21 || `forall` || yes || No (unification) || FVs || no ||
    22 || `->` || no || Yes (as term) || yes || yes ||
    23 || `=>` || no || No (solving) || yes || yes ||
     21|| `forall` || yes || No (unification) || No (FVs) || No ||
     22|| `->` || no || Yes (as term) || Yes || Yes ||
     23|| `=>` || no || No (solving) || Yes || Yes ||
    2424
    2525 Dependent::