Changes between Version 12 and Version 13 of DependentHaskell


Ignore:
Timestamp:
May 27, 2014 3:33:21 PM (12 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::