Like PCN, we should make logicvec data type closed under all operations. Unlike PCN, we have to consider how to deal with multiple dimensions. Indexing into a 2D vec should return a 1D vec. Indexing into a 1D vec should also return a 1D vec. So a bit trickier, but overall a worthwhile simplification.
Like PCN, we should make
logicvecdata type closed under all operations. Unlike PCN, we have to consider how to deal with multiple dimensions. Indexing into a 2D vec should return a 1D vec. Indexing into a 1D vec should also return a 1D vec. So a bit trickier, but overall a worthwhile simplification.