Closed nkalivoda closed 3 years ago
Is this to go on the interface? I just did a very quick implementation of it but haven't done rigorous testing.
I think it should go on the interface – but buried way down under "Show more...". I think it's a natural thing to wonder about, even if it shouldn't be adopted.
I think the same about WeakStart in #525.
Minimally tested first passes of these constraints are in the branch strongEnd. They have not been added to the interface there, and also lack test files.
StrongEnd, a constraint mentioned but rejected by Bellik, Ito, Kalivoda, & Mester (to appear, p. 16 of PDF draft):