Extended sequences test case (including demonstration of one weakness in sequence axioms - needs a well-definedness check to warn - see Carbon issue 36 and Silicon issue 129)
Extended sequences test case (including demonstration of one weakness in sequence axioms - needs a well-definedness check to warn - see Carbon issue 36 and Silicon issue 129)

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors