• Pietro Abate's avatar
    [r2006-05-29 15:09:50 by ngesbert] Slightly modified the description of the... · d0f5780a
    Pietro Abate authored
    [r2006-05-29 15:09:50 by ngesbert] Slightly modified the description of the general syntax of a function
    expression: the number of types in the abstraction has nothing to do
    with the number of branches in the pattern matching, so they shouldn't
    both be called "n"
    
    Original author: ngesbert
    Date: 2006-05-29 15:09:50+00:00
    d0f5780a
expressions.xml 24.8 KB