|
@@ -118,7 +118,7 @@ fanin : [ a_1 |->| b, a_2, |->| b, ..., a_n |->| b ]
|
|
|
fanin = cases, since '+' is simple union.
|
|
|
|
|
|
fastest : |<a>| * |<b>| -> |< a+b >|
|
|
|
-fastest : [ |<a_1>|, |<a_2>|, ..., |<a_n>| ] -> |< a_1|a_2+...+a_n >|
|
|
|
+fastest : [ |<a_1>|, |<a_2>|, ..., |<a_n>| ] -> |< a_1+a_2+...+a_n >|
|
|
|
|
|
|
slowest : |<a>| * |<b>| -> |< a+b >|
|
|
|
slowest : [ |<a_1>|, |<a_2>|, ..., |<a_n>| ] -> |< a_1+a_2+...+a_n >|
|