Wed Apr 27 12:06:35 EDT 2016
Transposing & Muxing
Problem: the bits of a vector are selected based on a bit.
I'd like to express this as an indexing operation, but that doesn't
seem to work because the resulting vector can't be written at once.