On May 5, 2020, at 17:48, David Kastrup <[email protected]> wrote: > > One thing here is that being under control of a wrapper, one can use > unchecked unsmobs.
This is a good idea. I considered this briefly, but I wanted to focus first on making it natural to deal robustly with potentially improper or heterogeneous lists coming from a user, and leave optimizing more restrictive cases for later. — Dan
