The idea here is to have a sequence 'know' what characters belong in the vector of elements. It is unclear to me whether this should be a field or parametric type, and this should be motivated by the use case: why exactly is this feature useful?
we want to be able to define 'kneading sequence' and 'binary expansion' as subtypes(?) of sequence
The idea here is to have a sequence 'know' what characters belong in the vector of elements. It is unclear to me whether this should be a field or parametric type, and this should be motivated by the use case: why exactly is this feature useful?