Changes between Version 12 and Version 13 of DependentHaskell


Ignore:
Timestamp:
May 27, 2014 3:33:21 PM (14 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DependentHaskell

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