Closed HarrisonGrodin closed 1 year ago
_&_ is an unusual name for the operation that runs two computations in parallel. It could be confusing, too, since & is often used for "lazy/projective" (negative) product.
_&_
&
Some potential alternatives:
par
_∥_
\||
\parallel
_⊗_
\otimes
\ox
My instinct is _∥_.
_&_is an unusual name for the operation that runs two computations in parallel. It could be confusing, too, since&is often used for "lazy/projective" (negative) product.Some potential alternatives:
par, a la 210_∥_(\||or\parallelin agda-mode)_⊗_(\otimesor\oxin agda-mode)My instinct is
_∥_.