Open mariari opened 1 year ago
Currently the BITC category uses a list to represents objects and transformations. This is bad, because it is more naturally expressed as a bit-vector.
Here are a few sample documentation for bit-vectors
https://novaspec.org/cl/f_bit-and
https://novaspec.org/cl/t_bit-vector
Further as #101 gets considered, we may want to move it to a general vector instead of just a bit one. Either way it's a better format for this code
The interpreter does this, however the backend compiler to vampir does not sadly
Currently the BITC category uses a list to represents objects and transformations. This is bad, because it is more naturally expressed as a bit-vector.
Here are a few sample documentation for bit-vectors
https://novaspec.org/cl/f_bit-and
https://novaspec.org/cl/t_bit-vector
Further as #101 gets considered, we may want to move it to a general vector instead of just a bit one. Either way it's a better format for this code