On Sat, 28 Jan 2017, I wrote:
News: on Monday I will merge into git master my up-till-now
"experimental" branch that allows arbitrary nesting of the
"member-of" relation in the context of function calls and
assignment. [...]
Well, Monday has been and gone and it's not done yet. Turns out this
week is just too busy. My revised estimate is that I'll do the git
merge at some point next week. I'll post again when it's truly
imminent.
Allin