NonEmpty module #6
Description
We can have a lot of total functions over non-empty texts versus possibly-empty ones. This is also going to save the inevitable text-ascii-nonempty package from having to exist.
{{ message }}
NonEmpty module #6We can have a lot of total functions over non-empty texts versus possibly-empty ones. This is also going to save the inevitable text-ascii-nonempty package from having to exist.