Changes between Version 1 and Version 2 of ExplicitQuantification


Ignore:
Timestamp:
Dec 6, 2005 12:00:18 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitQuantification

    v1 v2  
    2323 
    2424require explicit quantification everywhere. The main argument for this is 
    25 consistancy. No type variables are in scope in a let bound type signature so 
     25consistancy. The main against is that it is not needed. No type variables are in scope in a let bound type signature so 
    2626which variables should be quantified is unambiguous. 
    2727