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