Proposal for Restricted Sequences#11

Open

rhdunn wants to merge 7 commits intoexpath:masterfrom

rhdunn:tuple-sequence-types

Commits on Oct 20, 2018

Proposal for Tuple Sequence Types

reecedunn67
authored and
rhdunn
committed

Commits on Oct 26, 2018

restricted sequences: expand the subtype judgement definition text.
reecedunn67
committed
restricted sequences: updated the main text to reflect feedback from Michael Kay.
reecedunn67
committed