Open lgarron opened 6 years ago
@rokicki pointed out that the SiGN/LGN drafts don't have a representation for the empty alg "", because a sequence cannot be empty.
I would prefer to avoid allowing empty sequences, but the only alternative I see is a special top-level token for the empty alg.
@rokicki pointed out that the SiGN/LGN drafts don't have a representation for the empty alg "", because a sequence cannot be empty.
I would prefer to avoid allowing empty sequences, but the only alternative I see is a special top-level token for the empty alg.