I wonder what that means in practice for such a library.
From the discussion here: https://news.ycombinator.com/item?id=43938309, it probably won't stay PPL for much longer. It just needs to be worked out.
I wonder what that means in practice for such a library.