Changes between Version 1 and Version 2 of ArrowNotation


Ignore:
Timestamp:
Feb 8, 2013 3:17:00 PM (15 months ago)
Author:
ross
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • ArrowNotation

    v1 v2  
    66== Changing the types of arrow operators == 
    77 
    8 Currently, the type of each argument of an operator (and its result) is required have the form 
     8Currently, the type of each argument of an operator (and its result) is required to have the form 
    99{{{ 
    1010a (...(e,t1), ... tn) t 
    1111}}} 
    12 where `e` is a type variable shared by all these types, but the arrow types `a` can vary.  The User's Guide has these examples: 
     12where `e` is a polymorphic type variable shared by all these types, but the arrow types `a` can vary.  The ''User's Guide'' has these examples: 
    1313{{{ 
    1414ArrowPlus a => (<+>) :: a e c -> a e c -> a e c