On Sunday, 10 July 2016 at 17:32:32 UTC, Dietrich Daroch wrote:
It might be interesting to have proof that the stack is bounded (and won't overflow).


Yes, a stack depth guarantee would be useful for D fibers.


Reply via email to